module docs implements statements hard to read

[sanderr]

The implements overview in the docs for a module isn't very clear on the condition:

1. it says "constraint" instead of "when"
2. it includes the trivial and implicit constraint true