fixup! Add EEP for native records

Author: bjorng

eeps/eep-0079.md

@@ -324,8 +324,8 @@ Expr#Module:Name.Field
 These expressions return the value of the specified field of the
 native-record value.
 
-When a field from a native-record value is accessed, the native-record
-definition is **not** consulted.
+When a field from a native-record value is accessed, the current
+native-record definition is **not** consulted.
 
 An access operation fails with a `{badrecord,Expr}` error if:
 
@@ -371,8 +371,8 @@ Expr#Module:Name{Field1=Expr1, ..., FieldN=ExprN}
 
 Field names must be atoms.
 
-When a native-record value is updated, its native-record definition is
-**not** consulted.
+When a native-record value is updated, its native-record
+definition is **not** consulted.
 
 An update operation fails with a `{badrecord,Expr}` error if:
 
@@ -578,9 +578,7 @@ Native records that can be used as types using the following syntax:
 
 ```erlang
 %% local or imported native-record
-#RecordName(TVar1, ..., TVarN)
 #RecordName{TField :: TType, ... }
-#RecordName(TVar1, ..., TVarN){ TField :: TType, ... }
 %% remote native-record
 #Module:RecordName(TVar1, ..., TVarN)
 ```
@@ -604,11 +602,11 @@ Example:
     second :: B
 }.
 -type int_pair() :: #pair(integer(), integer()).
--spec mk_user() -> #user{}.
+-spec mk_user() -> #user().
 mk_user() ->
     #user{id = 1, name = ~"Alice", city = ~"London"}.
 
--spec mk_user_limited() -> #user{}.
+-spec mk_user_limited() -> #user().
 mk_user() ->
     #user{id = 1, name = ~"Alice", city = ~"London"}.