abandon all U-types, welcome to L-world (or, what I learned in Burlington)

[John Rose]

On Nov 19, 2017, at 2:47 PM, Remi Forax <forax at univ-mlv.fr> wrote:
> 
> The claim is that Object is used more as the root of any types like in collections than as the root of all references like in System.out.println().


Object and interfaces play the role of top types. One view is that we are making object act more like an interface. 

Also we don’t add any new carrier types to the interpreter.