Improve specs, Add signed_multiset based compositions
Heavy refactor round. Terms exponent now reflects it's location in expression.