Fix a typo.
Documentation fixes.
Undo accidental change from previous commit.
Really add src/algebra/boo_db.input
Update computation theory framework.
Disable parser transformations of relational operators.
Print offending kernel.
New algebra bootstrap.
Better compiler support for database bootstrap.
Add '~=' to builtion domains.