Valhalla EG 20191009

[David Simms]

Apologies for the lack of progress lately

- Brian:
     - Inline type construction: observation that existing reuse of new 
syntax was useful to Sergey who has written a lot of Valhalla code for 
benchmarking.
- Remi:
     - Prefer more javac compiler useful warnings when adding "inline" 
keyword
         - *Action Item*: write up the some of the problem on the dev 
list so Srikanth can take a look
- Remi:
     - Would like empty value types
- Fred:
     - Current implementation supports empty values (actual 
implementation may change)
- Remi:
     - Want to parameterize over void
     - Thinks it's a trap to have same syntax, but not binary compat
- Simms:
     - Did want to avoid the whole <init> dance
- Brian:
     - Dubious benefit to fixing mistakes of the past, however...
     - ...similar problem with records and factory methods, there isn't 
good story for compat there either

Further discussion on the nature of "this" and "new" which bleeds into 
the user model we need to work on some more.