Style

I and Tom have collected some style/doc/indentation/variable rename/ things over some time.
Here all of them in a bunch. More will follow in other PR.