extendTac :: Name -> Exp -> [Tactic] -> Env -> Env
extendTac v es ts e@(Env {tacs}) = e{tacs =  ((v, es), ts) : tacs}
extendTac :: Name -> Exp -> [Tactic] -> Env -> Env
extendTac v es ts e@(Env {tacs}) = e{tacs =  ((v, es), ts) : tacs}
extendTac v es ts e@(Env {tacs}) = e{tacs =  ((v, es), ts) : tacs}