semantic: Only emit one typeinfo instance.
rt: Add __castTo method to Object.