Imports from the Alfa library and other utilities

• Propositional logic: conjunction, implication
• Equality: subsitution, congruence, symmetry, transitivity
• Booleans: inference rules for if-then-else expressions and boolean conjunction (&&)
• Maybe: inference rules for the function maybe.
• Natural numbers: addition, equality, order and related properties.