Optimised the representation of Inert Sets to use Maps to get to the relevant inert...