Mega cleaning

A multitude of inconsistencies across different modules, concerning qualified imports, alias names and formatting, has been bothering me for a long time. This pull request eliminates them and introduces some standards:

* Types are imported unqualified
* All type-specific functions are imported qualified under the name of the associated type

There are no functional changes in this pull request.