Subrel antisymmetry proved. Some operators lifted to records. loads of fixing due to changes.
fixes