Added documentation for builtins. Rewrite tactics not documented.
Merge pull request #597 from jfdm/master

Added documentation for builtins. Rewrite tactics not documented.