added map_of_mapk_SomeI and weak_map_of_SomeI
added map_of_mapk_SomeI and weak_map_of_SomeI

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle