Added documentation for builtins. Rewrite tactics not documented.