Mark IsLessThan() obsolete and introduce IsStrictlyLessThan() instead.