More tests

Full coverage for Grassmann, fixed bugs found in the process, test the forgotten unary `operator+`.