Add basic support for recognizing a new SDTCisOpSmallerThanOp type constraint