Disambiguate when printing totality information.

Fixes #592.
Semantic colouring for :total
Merge pull request #632 from david-christiansen/issue/592

Show totality info for overloaded definitions, in amazing color!