Strip some spaces to minimize next commit
Fix hSet notations so that most of precategories compiles