add basic record subtyping