Implemented (Ex9) quickCheck testing for Mod5 and Mat2x2, from Ex5.