PeanoScript: TypeScript but it's a theorem prover