alex/happy: add type lexer parser; fix wibbles.
parser: can parse all functions.
concrete syntax: confirm C precedence & refactor.
Refactor concrete parser.
gitignore: ignore alex/happy generated files.
concrete syntax: wibbles, add type annotations.