Types are qualified
Qualified type implemented, separate typeOf and valueOf