Fix two errors in documentation of TraverseLaws.naturality

- pure and point are the same thing, so switch both to point
- Applicative[M] on the RHS of the first property should be Applicative[N]