Replaced File builtin type with proxy expressions