Lots of sett bugfixes, linting