Adds symbols and environments to the language
Handles expressions that completely reduce early when using the Ntimes mode