Further simplify types