A map interface that represents an occupied or vacant key so lookup and conditional update share one state branch.