fixed a silly cut & paste bug in addition using mutable ops
split C code into mutliple files, remove some unnecessary definitions from the hsc file
Removed class CInterval as its use was cumbersome
and has been ignored in most instances for Interval.
added a mutable Interval type
export mutable Interval via Basics.Interval
change mutable interval type to remove unnecessary indirection
a tiny  bit of RmToRn in order to be able to generate documentation
fix comment placement
negation for mutable intervals
added a swap operation for mutable types
fix comment placement
Mercurial made me merge but no changes were merged - not sure what is going on.
tailored criterion usage towards output that can be turned into a time/imprecision plot
tailored criterion usage towards output that can be turned into a time/imprecision plot (part 2)
tailored criterion usage towards output that can be turned into a time/imprecision plot (part 3)
No real change - only a commented out an alternative (probably incorrect) definition of Interval normal form enforcing function with which I played.
tuned arbitrary generation of Double and Rational within specified areas
introduce associated area type to arbitrary refinement-ordered tuples class
analogously to how it is done for the numeric-ordered class
Generation of arbitrary tuples of intervals in a given area - simple version without control of thinness.
Generation of arbitrary interval tuples in given areas + application on the benchmark of exp.