toGoals

Converts this term into the Cursor of goals ConcurrentExecutionContext.goals is built from: unfoldGoals flattens conjunctions, and every variable goal is wrapped into call(X) so that StatePrimitiveSelection always sees a callable Struct.