add a stupid Product<A,B> expression produced by prod(a,b), and implement a first version of its evaluator
4 files changed