Ditutup

expression reduction, type check with bison/flex