Introduce definitions for matrix-vector arithmetic.

• Define datatypes for vector and matrix.
• Define predicates for validating vector and matrix values.
• Define functions for dot products and matrix-vector multiplication.
• Mock-up closure theorem for vector validity under matProd.