Prevented the impossible from occurring -- fixed definition of LessThan type family so it actually means what it says on the tin.