Show totality info for overloaded definitions, in amazing color!

Now :total shows the totality of every overload, and it colors just like the rest of the REPL