Add methods for new traits; Fix #18
GCDLeft implies ReductiveLeft