Fixed the TypeScript definitions to include the missing SAT classes and other small tweaks. Updated README.