Removed args from Term and AtomicTerm