VM implementation of equality should respect a record's narrowed typing.

[matthewhammer]

Suppose we introduce two fields, but use an annotation to "hide" the second one:

let r1 : { x : Nat } = { x = 3; y = 5 }; 
r1 == { x = 3 }

The equality check should evaluate to true, but currently we do not respect these type annotations, and the field y will not be hidden.