preliminary, not quite correct impl of Keys() for Mapping