addDecls :: [(Name, Exp, Exp)] -> Env -> Env
addDecls ks e@(Env {pfdecls}) = e{pfdecls = ks}
addDecls :: [(Name, Exp, Exp)] -> Env -> Env
addDecls ks e@(Env {pfdecls}) = e{pfdecls = ks}
addDecls ks e@(Env {pfdecls}) = e{pfdecls = ks}