Fix the parser so that subterms of an abstraction can be applications without being in parenthesis.
Add first stage of typedrec

typedrec is supposed to by like typed, but with integers and general recursion. At this stage only integers are implemented.