Use instantiated types for eta-expanded record projections

This is a fix for the following program being extracted incorrectly:

type t 'a = { l : int63; b : bool }
let test () = l