Failed to implement Laurent polynomial ring operations in a completly static way...