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

Change-Id: If612015c9482b9a6a9fffb6e159f069c61c80b69