Evaluation of LT would generate incorrect exception message if second argument to LT was of incorrect type.
Evaluation of LT would generate incorrect exception message if second argument to LT was of incorrect type.

[Bug][TLC]

tlaplus/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus,tlaplus/tlaplus