The functions in here auto-create suitable algebra product functions from a signature. Currently, functions <** are supported which have scalar results in the first variable.

TODO If we want to support classified DP, we shall also need **< generating vector-results given a vector result, followed by a scalar result.

TODO Then we also need *** handling the case of vector-to-vector results.

TODO note the comments in buildBacktrackingChoice