Use better types for virtual memory translation code

Use better types for virtual memory translation code #207