subtyping of records is working, and fast!