Constant.functr
Base constant functor interpreter dictionary.
method map' : ('c r, 'e, 'a, 'b, 'D) map'm