Make this program parse and typecheck
Make this program parse and typecheck

`counting' is a primitive taking 0 arguments (as opposed to being a function
symbol); and the annotation on the literal seems to be needed to help type checking.

zachsully/hakaru,zachsully/hakaru