addSteps :: [(Name, Int)] -> Env -> Env
addSteps ks e@(Env {steps}) = e{steps = ks}
addSteps :: [(Name, Int)] -> Env -> Env
addSteps ks e@(Env {steps}) = e{steps = ks}
addSteps ks e@(Env {steps}) = e{steps = ks}