Make BasicAtom::getOperators() faster by caching the operators contained in
a BasicAtom when the BasicAtom is created.
Speed up atom comparison by ordering things based on their hash codes.
Declare operators using decl. syntax.