add type declaration to grammar
Fix Makefile to recompile after `make compiler`