Choose one style of accessing records

[Jack Ek]

When I refactored Type.hs to use a record as its environment type I used a -XNamedFieldPuns-based style to access the fields. Other files already used -XRecordWildCards to do the same thing in a different style. We should probably choose one (I prefer the latter but wasn't aware of it before) and stick to it.