Implementation of lambda terms and formulas to represent substitution better. Cleaned up and reorganised substitutions.
Making everything recompile is on its way