finished most basic subset_eq optimization, bugfix
bugfixes, optimizations