Initial subsumption definitions for match and Isabelle/HOL proof that they form a semi-lattice.
Added conjunction and disjunction.
Pretty printing for conjunction and disjunction.
Conjunctive and Disjunctive normal forms
Free variable extraction from expressions.
Added an Exp test from Athena development.