delete evaluable
atom will not represent a procedure!
NewEnv should receive parent env
pair will be reimplemented
acceptance test