Removed the ability to express xx(x):fixed parsing

I need to check if it's legal in lamdbda calculus to write:

xx(yy)

That is, the result of yy applied to the result of xx.

Can this semantic be expressed in other ways? Not sure right now... (and
have to do 'real' work; bah!)