<.) :: n x -> n y -> Form Inequality n (x .<. y)
x .<. y = atom Less $ x :% y :% Nil
(
(.<.) :: n x -> n y -> Form Inequality n (x .<. y)
x .<. y = atom Less $ x :% y :% Nil
x .<. y = atom Less $ x :% y :% Nil