Types and operations for working with bit matrices in VHDL (i.e., matrix operations over GF(2))