String builtin type replaced with proxy expressions