Put field docstrings after the field

[eric-wieser]

As discussed on Zulip

[hargoniX]

The CI only fails due to a recent Lake API breakage, I think the change looks fine, let's see what the people say^^