documentation

Markdown documentation, keyed by the same name/arity strings as predicates and functions.