started translation to combinatory logic. Implemented lambda deletion and vars
translated application to combinators
translated S and K abstractions. Finished combinators