compiler handles self-evaluating forms and variable references