Update typeClassDictionaries to be a dictionary
Add means of accessing the object in UnifyState