@mapval(a:map, b:function)


returns the composition of function a and c, that is, a map c such that

       c(x) == b(a(x))