Type of Term.re was abstract in CARTA and SimpleCARTA.