Currently each area implements the Area trait fully and independently. We should extract the "essence" of each area into one or more sub-traits which could be slotted into a new BaseArea<...> type, which would itself implement Area.