slightly generalize fct_prodR and some other functions in functions.v

slightly generalize fct_prodR and some other functions in functions.v #397