Simplify a type