Big factoring, polyta now uses Spire type classes.