I am curious, what kind of programming problem, aside from a math theorem prover, requires free module in a variable?