Fixed errors in semantics, improved makefile, changed the example program