-An attempt to improve unification error report.
+typeloc branch: An attempt to improve unification error report.
This typeloc branch tries to print additional information at type unification
errors, to indicate which parts of the source code introduce the type
This is inspired from the same idea implemented for Haskell type checker
-Current status: Just preliminary. `Proof of concept' implementation.
+`Proof of concept' level implementation.