Recursion refactored and patially done for families.
Lambda and some other substitutions corrected.
Application of lambda still not working correctly in Modus Poens.