Make BasicAtom::getOperators() faster by caching the operators contained in
a BasicAtom when the BasicAtom is created.