Use a HOL heap in the parsing directory.
Type-parsing complete (with a bunch of tests included).

Will move the tests into a separate theory, and make the tests also
check for grammar-validity.
Move parsing test-cases into separate script file.