gensym
definicja kontekstu ewaluacyjnego
podstawienie