small step interpreter with call by name (and counter) is done