More code for VariableMap{,Builder}