New known sets implementation + various additions