In classifyUserAction(), added a witheachtype binder to the return value format. This will make it possible to bind the type variable at the right time. Before, my flawed plan was to bind all the type variables first and then bind each query.