Add trait subs for MonoidTextual
Add methods for new traits
GCDLeft implies ReductiveLeft