refactor(types): back out two strict TS flags, tighten lint rules view more