Inner Product Operator: ∙

Create a derived inner product function from two dyadic functions f and g such that x f∙g y is equivalent to ((f/)^(d-2))x(g^((≡y)-1) 0)y, where d is the depth of the result of running g.

Inner product is defined in such a way that for two 'matrices' (vectors of row vectors), m+∙×n is the matrix product of standard mathematics.

For example:

   ((1 1)(0 1))+∙×((2 1)(2 0))
((4 1 ) (2 0 ) )

The ContextException is thrown if either of f or g is not dyadic.