removed assignment expression from terminate_if
typos in grammar
initial implementation of local context in expression compiler