Shortened sentence about operator associativity.

Thanks to Doug McIlroy <doug@cs.dartmouth.edu> for the suggestion.
Corrected several wrong type signatures.

(and better example on gcd)