1st week of GSOC

This week I've got back into the swing of things, and have gotten tests  worked on.

• For m3d, tests for addition and subtraction are complete, and hadamard needs to be tested.
• Addition and subtraction are tested by adding variable a to b, writing the result to c, then subtracting c from b and writing that result to variable d.   Variable d is tested for equality to a.    
• For m5d and m7d, tests are still a work in progress, hadamard needs to be finalized.
• A big issue had been remembering which representation was which and a confusion I had when communicating, over which bit was on which bitslice.

A large amount of the milestone needs to be finished, which at this point is mostly tests, which has more or less logic errors.    The next week, I have laid out much better, with a clear vision of how how tests will work, relying on the communicative and associative property.