Jon has pointed out that it is possible to declare a record with native methods and/or constructor. Let's just add `native` to the set of modifiers that are not allowed on members of records....