Clean up docs. Add option 'ambiguity_is_fatal'