Implement HS-SUPERSETP

- Write a lot of tests