Bind sub-records to avoid typechecker woes.

Apparently, binding sub-record components and projecting from them
avoids issuess with nested lower-bound operators.