[TypeCheck] simple type check