added Monoid and Show instances for Attributes; Added sum-to-product transformation on Attribute type