c2fExp :: Exp -> Term