interface IStackWithOptions extends IVStack {
  // declare a choice point for backtracking
  <B extends VStack.Computable> void options(B function, IVF1<B>... options);
  <B extends VStack.Computable> void options(B function, Iterable<IVF1<B>> options);
}