Instantiate constrained types as well as universally quantified types when unifying with a unification variable.
Prelude updates
Fix #178 - make sure qualified names are taken into account when sorting definitions.
Doc update
Fix some issues in the optimizer, so that purescript-promises can work properly.
Bump version