Lifted subrel to a datatype
Coproduct updated
Product updated
Updated some definitions
Added indirect equality definition.
added infix decl
Added a proof with indirect equality
Boiled down the equality promotion rule to smaller assumptions
Fixed more properties to work with the new encoding of subrelation
More text
Subrel antisymmetry proved. Some operators lifted to records. loads of fixing due to changes.
fixes
more text