A higher? method for determining which types are higher than the others
A polynomial math function set
Additional poly math functions
Poly mul function
Adding selectors for a poly representation