ECLiPSe also defines a string term type