Add constructors
Add equality representation. It needs the notion of equivalence given a
substitution set