Check if MappingEntry should still be a record

[sebastian-peter]

With #1085, we added getters to MappingEntry to fix writing them out. Examine if it still makes sense to have them as records or if a plain class would fit better, or if there is another solution.