Replace home-grown iterators and map entries with proper types#117

merkste wants to merge 1 commit intoprismmodelchecker:masterprismmodelchecker/prism:masterfrom

merkste:use-standard-types-embedded-ctmcmerkste/prism:use-standard-types-embedded-ctmcCopy head branch name to clipboard