Fixed warnings in types/Type, except for incomplete pattern matches