Improved type-directed name disambiguation
Merge branch 'master' of http://githib.com/edwinb/Idris-dev
Unification fix
Mangling of keyword "const"
Primitives for object method call + formating
Merge branch 'master' of http://githib.com/edwinb/Idris-dev