introduced explicit LE and GE because we need to deal with non-reflexive orders;
generalised the class for generation of arbitrary tuples for tuples of any size
removed almost all uses of Eq and deleted SemidecidableEq as Poset now subsumes equality.
removed further remnants of separate equality treatment
Poset -> Comparison
added reflexivity of equality as an optional property
split random generation of ordered tuples into ones using numeric and refinement orderings
simplified the types of parameters used for random generation of tuples
added dummy instances for arbitrary generation of interval tuples
adapted Real-Double to changes in Basics, mainly treatment of equality together with the comparison orders and more general random tuple generation
generator of arbitrary permutations of given elements
* changed LE to LEE and GE to GEE meaning "exclusive" ie not equal nor strictly less/greater yet leq/geq (this occurs with intervals using numerical order)
* added disambiguation of order constraints for tuples with transitivity resolution
generation of Double tuples with arbitrary ambiguous order constraints
with close-to uniform distribution of orderings among permissible ones
added some missing bits in partial ordering support
* fixed interval numeric order
* provided generation of arbitrarily numerically ordered interval tuples
* added facilities for ad-hoc lightweight debugging
* improved a few comments
fixed a bug in generation of arbitrarily ordered Double tuples
introduced non-reflexive versions of some lattice properties
modified tests for intervals' numerical order lattice ops as they do not satisfy some crucial properties due to non-reflexivity - eg supremum is not always above the operands
* changed numeric order on intervals to be semidecidable for overlapping intervals to correspond to the intuition of an interval approximating a single element;
* strengthened all properties with assumption of only semidecidable order instead of decidable order
reflected the change that interval numeric order is reflexive again but semidecidable
* generation of random refinement-ordered tuples of intervals
* removed inheritance between Basis and Eq