minor tweak to Memory::Optional(fix names of operator= members); and fixed very minor bug with types/overloads which caused Optional<Mapping<a,b>>::CTOR (Optional<Mapping<a,b>> () to fail to compile