Fully document behaviour of `visit parent` implementation.
Normalise implementation type names to infinitives.

Conjugated names also supported, since they are more natural in some
circumstances.