clarify notation and coherence of naturality, close #331
Merge pull request #335 from mikeshulman/naturality

clarify notation and coherence of naturality, close #331