An ATerm is a representation of data in the [[ATerm Format]].