Add support for functions of embedded data types

This allows to write functions such as

let f: Vh*Vh -> Vh, (x,y) -> 2*x+y;