Poorly tested Implementations of  SK, Lambda calc, deBrujin, Jot, and BLC