This adds type checking to TypeAssertExpr. In order to allow for this, method types now have a receiver type in both reflect and native cases.