Transform/extension methods

New phase ported: extension methods
In general, it's an important sanity check that owner of NoDenotation does not exist. Otherwise, we'd turn every crawling up the owner chain into an infinite loop instead of an assertion error.