alTerm m _ (Con c) = maybe (error "") id $ M.lookup c (interpConstants m)
e
evalTerm m _ (Con c) = maybe (error "") id $ M.lookup c (interpConstants m)
evalTerm m _ (Con c) = maybe (error "") id $ M.lookup c (interpConstants m)