Canonised def types. Prohibit multiple type and class members with same name.