Checking variable types against BuiltInType