[RFC] Redefine `Map(T)` as a more generic `Map(T, U)` macro

The VMap(T, U) can receive the value type as argument, for cases where one to store scalar values