Document many-to-many machines

Fixes #24.