simplify types