void put(String key, SelType obj) {
    symtab.put(key, obj);
  }
@Test
  public void put() {
    state.put("foo", SelString.of("bar"));
    SelType res = state.get("foo");
    assertEquals("STRING: bar", res.type() + ": " + res);
  }