Provide separate small-step and big-step interpreter forms

[pdarragh]

Rewrite the interpreter into small-step, then write a wrapper that repeatedly makes steps until a value or error is encountered.