This allows to write functions such as
let f: Vh*Vh -> Vh, (x,y) -> 2*x+y;
merged
mentioned in commit 0b84562d