small optimization for type checking
update compilers for alias support

This removes a lot of the exception squashing since the compiler helpers
will be moved to C++. It also adds support for extended bindings on
alias objects.