Update manual interpreter code to the new generated code shapes.
Make map typeful in the SState and VState since the compiler now emits Java code with proper generics.