Clean-up function models, notably template parameters

[pietercollins]

Clean up the FunctionModel classes, notably the template parameters. Key issues include whether (and how) to template on the floating-point type, and how to describe the (co)domain type.