functions to 'eval' steps, yielding the next step in the computation.
evalBody : Schelme.EvalStep.EvalBodyStep a -> Schelme.EvalStep.EvalBodyStep a
Given an EvalBodyStep, compute the next EvalBodyStep.
evalFtn : Schelme.EvalStep.EvalFtnStep a -> Schelme.EvalStep.EvalFtnStep a
Given an EvalFtnStep, compute the next EvalFtnStep.
evalList : Schelme.EvalStep.ListStep a -> Schelme.EvalStep.ListStep a
Given an ListStep, compute the next ListStep.
evalTerm : Schelme.EvalStep.EvalTermStep a -> Schelme.EvalStep.EvalTermStep a
Given an EvalTermStep, compute the next EvalTermStep.
evalTerms : Schelme.EvalStep.EvalTermsStep a -> Schelme.EvalStep.EvalTermsStep a
Given an EvalTermsStep, compute the next EvalTermsStep.