Avoid creating a lambda when doing a partial application on operators
Make constructors use braces when formatting strings
Added Either and Ord to Prelude
Fix types for bindings in instances

Previously they were only unified to the type in the class when they should be unified to that type but specialized to the type which the instance is for
Added Ord for doubles
Added call to fromInteger when the type of a number literal is undefined
Changed float literals to be of type Rational a => a instead of Double

Those with unknown type are compiled as (fromRational 0)