Typos

- Fix some typos,
- Fix some CS,
- Implement more dart idioms