Transform/extension methods

New phase ported: extension methods
Yes, but we'd like to treat them as such for evalOnce, right? Looks like we need a better effect analysis to make any progress here.