Made v0.1 compile with Coq 8.4pl3 and ssreflect+mathcomp 1.5