more refactoring of OWLAxiomIndex

Note: switching MapPointer from lazy to eager insertion makes some unit
tests fail. This needs investigation ase there might be a bug masked by
the optimization