A MemView can be created by taking a view from a GlobalMemView; it
is structed similarly but with the extra global fields like TLB and page tables.
It also tracks the physical addresses in the valid range that are unmapped.
This module implements a model of virtual memory that can be used to reason about the behavior
of code that interacts with virtual memory. It interfaces with the [vm_space] module for mapping
and unmapping frames.
Concrete representation of a pointer