Introduce the value type and the address type into the language. Make it possible to use the address to define type offsets.