Add TypeParse.hs
Use happy
Add Makefile
Add type variable parsing
Update type inference method
Add unifyAll