terms for generated classes are defined at gen