base terms [Exp] and two-level terms [AExp]