Removed incorrect (non total) instances of Ord.
Implemented element instances for type [(a, b)], that is Parameterised Sets.