Includes tests for not allowing ambiguities.
Adds documentation.