ValueOnDemandMap [dev.] - map over a key set where values are calculated on every access