Use restrict instead of urestrict for cofactors
Get rid of BDD urestrict
Get rid of some truth table class hierarchy
Get rid of table urestrict
Implement logic expressions in C

WARNING: this branch is still a WIP