[records] Native members

[Brian Goetz]

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....