Support for booleans and relations, part one
- AST nodes for relations and boolean operators - Freeze support for relations and boolean operators - Typifier support for relations and boolean operators - Test cases for freeze and typification Also: introduce traits for boolean, integer, and numerical ops, to simplify type checking