defTypeDefinition: Rule[HNil, ::[TypeDefinition with Product with Serializable { def rename(newName: String): sangria.ast.TypeDefinition with Product with Serializable{def rename(newName: String): sangria.ast.TypeDefinition with Product with Serializable} }, HNil]]
defTypeExtension: Rule[HNil, ::[TypeExtensionDefinition with Product with Serializable { def rename(newName: String): sangria.ast.TypeExtensionDefinition with Product with Serializable{def rename(newName: String): sangria.ast.TypeExtensionDefinition with Product with Serializable} }, HNil]]