Suljettu

expression reduction, type check with bison/flex