@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))