Update computation theory framework.
Disable parser transformations of relational operators.
Print offending kernel.
New algebra bootstrap.
Documentation and formatting fixes.
Remove most of useless underscores.
Support polynomial rings over semirings.
Misc cleanups.
Simpler and faster join.
Correct handling of mapping-valued functions.