Language.Executor

type FullyEvaluated

type Env

validatePreExec

exec

eval

evalMap

apply

apply'

applyNonPrim

extendEnvironment

checkAgainstRepeatedDefs

initialEnvironment