Trying out some type checking with errors

Update social-y stuff in README

Update README

Add access control example

Add README builder; more examples in relations playground

No more readme.md

Remove wiki; just use README

Add README with better source blocks

add codeblocks

Looks like I get a TOC for free on sourcehut

Update license, add index.md (just formatted README.org)

Add license

Add example of program synthesis

Add type checker, applications section

Add predicate checking

Add playground

Add occurs-check

Fix bug in reify routine

Add extensions; all code from paper now present

More notes on conj and disj; core implementation complete!