Language.Executor

type FullyEvaluated a

type Env

validatePreExec

exec

eval

evalMap

apply

apply'

applyNonPrim

evalAll

assertMap

extendEnvironment

checkAgainstRepeatedDefs

initialEnvironment