Add isInstanceOf and asInstanceOf operator.
Update type checker.