Support for Boolean Operations and Relations

This MR adds support for boolean operations and relations to the backend.

• AST Nodes: Introduce AST nodes for boolean operators and relations
• Freeze: Add freeze support for sp.Rels and sp.logic.boolalg.BooleanFunctions
• Typifier: Add typifier support for relations and booleans
• Printing: Add printing support for boolean operators and relations
• Constant Folding: Extend EliminateConstants to fold booleans and relations
• Branch Elimination: Add a pass to eliminate branches

Condition analysis w.r.t loop counters is reserved for future work.

Changes on the side:

• Add traits PsNumericOpTrait, PsIntOpTrait and PsBoolOpTrait to simplify typification of unary and binary operators
• Fix behaviour of EliminateConstants on unary negation
• Refactor the printer's precedence table to exactly reflect cppreference.com

added feature ongoing labels

assigned to @da15siwa

added 1 commit

• a6ec04ed - Add folding of booleans and relations to EliminateConstans. Fix folding of unary operations.

Compare with previous version

added 1 commit

• 9dbacce2 - Add elimination of trivial comparisons

Compare with previous version

marked the checklist item Constant Folding: Extend EliminateConstants to fold booleans and relations as completed

changed the description

added 1 commit

• 2ab005a3 - Add Branch Elimination Pass

Compare with previous version

marked the checklist item Branch Elimination: Add a pass to eliminate branches as completed

marked this merge request as ready

changed the description

removed ongoing label

requested review from @he66coqe

added 1 commit

• 93d31273 - cleanup in expressions module

Compare with previous version