cleanup MemoryBlockInfo::forget_type.
Added a hopefully quick aside about the presented example.