more TypeDef declarations