Update formatting for all pure Dart code in the repo.
Translating AtScript in benchmarks/ to TypeScript.