Fill in moveToAllocation and moveToDeallocation for in-memory Values. At the
moment this is completely based on the unmapped view of allocation, so it may
not be entirely clear for students.