eval/apply: Implement a lisp #6
Description
Just that =P. It seems interesting to start with one that has only the substitution model, it is more restricted but it is a restriction that brings interesting properties, and it is simpler to implement since there is no env.