Add special names for instance constructors

Instance constructors get special names instead of ``(UN $ "instance" ++ show className)``, which is cleaner and more useful (helps erasure).

https://github.com/ziman/idris/compare/instance-ctors?expand=1#diff-89991dd5804bdba2ef2f2461a27c5be7L1724

All C tests pass.