clarify notation and coherence of naturality, close #331

I took the liberty of doing another clarification at the same time which was separately requested.