sclass ParseEnv implements AutoCloseable {
  ActualThoughtSpace ts;
  S input;
  
  public void close() { if (ts != null) ts.close(); }
}