Added first two typeclasses (IOrdering, IEquality), improved Option, started implementing Interval.
Fixed ProductToString.