small step CBN interpreter with evaluation tree
small-step CBV with evaluation tree