Fix bug with type-types not working with [case of].