Merge "Record types when the interpreter executes intrinsics."