Added the SAT class to the TypeScript defs file. Also this fixes #369.