bug fix for code inlining
cyclic definition check
production type is now symbolic
error checking for annotations in lexer prods
bug fix for previous commit