Initial commit. Support for binary operators and,or,not,equals,less_than, parsing and elab for set operators and tables. Some other misc stuff.
Elaboration and parsing for union and select by Art.