Modules

translates constants back to named symbols