add if/then/else, add boolean algebra, add relational operators
fix: check ALL nodes for type resolution