WIP -- more progess
WIP -- fixup explicit self declarations
WIP -- improve explicit self test some, could honestly use a lot more
WIP -- some more fixes for compare_impl_method
WIP -- shift regions for trait-refs in object types