Current documentation tasks

[jarcane]

As time goes on, more features are added to Heresy all the time, and I don't always have time to integrate them into the documentation.

This thread is intended to exist as an ongoing, unclosed, shameful reminder of whatever I've failed to write into the Scribble docs since their last update. It thus will never be closed, merely updated as new functions or features are either needing or have had written, appropriate documentation.

Currently needed:

• math block (the m-block DSL)
• import/require/provide
• Thing typing

[jarcane]

Also, heresy.scrbl is about 1,000 lines now, might be time to start considering refactoring it into multiple files.