audit and improve combinator implementations

From #154 :

> I've also replaced some inefficient implementations (gets and puts with multiple binds) in the Strings module. In general, I think a lot of combinators may be able to be improved in a similar way, it's just more tedious.