Fix #7: Revised `@typedef`, enforcing namespaced singularity/uniqueness.

Closes #54.