Replace as many `[Whitespace]` as possible with 'syntactic newtypes' instead

[LightAndLight]

For example, where we have Maybe (NonEmpty Whitespace) we can instead have Maybe Async