Improve :t for names, rendering implicits and class constraints
Merge branch 'master' of github.com:edwinb/Idris-dev

Conflicts:
	src/Idris/REPL.hs