Transform/explicit outer

Explicit outer is now enabled. Some fairly extensive changes were needed to make it happen. In particular, we had to bring back the inSuperCall mode bit. Review by @DarkDimius