Improvements to the library, optional compilation of ssreflect (because it is currently broken)