generation of types improved