Consider introducing `MappedPageBox`

[mkroening]

0887b57 has introduced PageRangeBox, PageBox, FrameBox. It might be useful to introduce a MappedPageBox type that builds on PageBox and FrameBox and creates a page table mapping on creation that is removed on drop.