Map builtin type replaced with proxy expressions