Resolve types of records #8
Description
Following #7, resolve the types of record-fields. This will allow us to deduce that the expression {a: 1, b: true}.a has type int.
The implementation of record fields requires us to add actions to Unifier. See reduceRecordSelectorType.