Simplify types.