[squash] transfer_overload z
fix property attribute check
Disallow taking ambiguous type with IsExp
+1