Added ParseExpr.hs, a parser for combinatory logic expressions, and this includes a simplifier function that will do arithmetic and can use dummy variables to expose for a function is doing.
Added an infix function <.> that applies one combinator to another inside the TypeInference monad.
Merge branch 'develop' of github.com:edechter/strappy into develop