Merge "Record types when the interpreter executes intrinsics." am: 03a8e8666f am: daba599fb6 am: bc912c9a9f
am: 9b3836ab33

Change-Id: I3d34b599a91cc4dc441941cada402889fd7ee120