Concretely define and use terms like `alias`, `canonical`, etc.

[Dekkonot]

Currently, the vocabulary we use in the reflection database and in documentation is (I think) consistent but poorly documented. We should fix that.

My suggestion is that we write down the meanings of these terms, and then make sure we're using them consistently in existing code and documentation and check to make sure we keep that going.