Pack up _⟫_ and _∥_ in indexed Monoid structure

[joaopizani]

From @joaopizani on March 28, 2015 12:35

Will allow to use Monoid solver for "circuit equations".

Copied from original issue: joaopizani/piware#29