Algorithms and data structures ... then be typed according to the type of instruction, for example as explicit node types for accessing constants, binary operations, access to properties, etc.