Added parameter/result for ConvExpr for function info

Quite an invasive change, but first step in feeding back info about
functions.