Porting lazy vals to a new scheme.
Merge branch 'reb' of github.com:dotty-staging/dotty into reb