initEnv                         = Env { eqns = [], args = [], cons = cons0, sels = [] }
initEnv                         = Env { eqns = [], args = [], cons = cons0, sels = [] }
initEnv                         = Env { eqns = [], args = [], cons = cons0, sels = [] }