+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
+constructors caused the errors.
+This is inspired from the same idea implemented for Haskell type checker
+Current status: Just preliminary. `Proof of concept' implementation.