implement CharTerm.clone()