Make `compose` a notation rather than a definition

This makes life a lot easier; we don't have to be constantly unfolding it, and we can avoid `Local Arguments compose /.` and `simpl rewrite` in lots of places.
Do these examples break?  (Should we strip out the entirety of the composition mod associativity tactic?)
I'm dubious, at least, that the concat examples have broken.