some random style nits

most of these were suggested by intellij but pass a gut check to me; lmk if you there are conventions that we should decide more clearly one way or the other on.
ah, good question! I am inexperienced with `.view`, so not sure otomh.