Build out traits
Fix mappers wrt rationals, polynomials
