Loosens the record type on `<:` from PlainRec to Rec
Merge pull request #15 from nkpart/nkpart/rec-subtyping

Loosens the record type on `<:` from PlainRec to Rec