improved presentation of types