Some corrections in the specs#663

jvdp1 merged 5 commits intofortran-lang:masterfortran-lang/stdlib:masterfrom

jvdp1:hashmaps_jvjvdp1/stdlib:hashmaps_jvCopy head branch name to clipboard