Quality improvements

these are smallish and boring changes which should improve maintainability in the medium to long term. unfortunately I had to do quite a bit too much hand-editing to get them, so they are currently limited to opm-core...