code: public final VariableNumMap addMapping(int num, String name, Variable var) {
      return union(VariableNumMap.singleton(num, name, var));
    }
docs: Adds a single number/variable mapping to this map.
  
  @param num
  @param var
  @return