refactoring Type, throwing exception for unknown types