Let type names use dotted names (for types in modules).