Adding export types for relations, factor bases, and polynomials