List properties of unification, meet and join

These will be very helpful when experimenting with different data structures.