Separating TypeCheck and CompareOperator attributes