Consider making a library of relational shortcuts

Typing out the relational algebra operators can be tedious. We could make it less tedious by integrating with Haskell language features such as infix operators for binary operators and optionally tighter type checking (with attribute names) for common cases. Examine [vinyl-records](https://github.com/andrewthad/vinyl-vectors) for type-checking.