Added support in the syntax of the intermediate languages for nested context lookup directly from formals.