PeanoScript language: TypeScript, but it's a theorem prover