Adds a recursion counter

This, coupled with our uber helpful error messages should allow
for some rudimentary functionality.  The parser can recongise
abstrcation, application, addition, and subtraction. =)
Haskell Rocks