a bunch of mucking about with function rendering
forgotten log
Merge remote-tracking branch 'origin/master' into docs-work
lots of text and doc updates
whoops experimental change, revert
minor styles
a bit more about equality and testing
cleanup/brands
more data and minor fixes
we can just use the autogenerated sets stuff because sets.scrbl defines things
more organization, now of builtins
more and more cleanup
show version in title
release-docs
Merge branch 'master' into docs-work
use nested makefile to avoid path issues w/scribble, and use -r for scp on release
Merge branch 'docs-work'

Some new docs lib support and prose

All the existing machinery still works, but there is some changed rendering and
some new forms for rendering
better version support
minor wording and title tweaks
fix random to type-check argument