A modest model of records, inheritance and bounded quantification