[lworld] Value construction modalities in class file

ATM, javac translates code in constructors in value classes into a factory method called $makeValue$ and produces a stubbed out method <init> that merely calls the super constructor (to please the verifier and also to please certain phases javac that operate on <init> methods, stubs are retained)

All construction sites are also translated into a static factory call.

This ticket is to implement the final version of this scheme.