It would be good to make polynomial classes an enumeration strategy so that it gets integrated in the cli when we implement #117
