Handle the parameters of a tail-rec LabelDef in a more principled way.

In particular, we do not patch them as mutable by default, only to
re-patch them as immutable if they are not mutated. Instead, we keep
their original isMutable flag as the default, and we patch immutable
locals as mutable if they are mutated.
Fix #1148: generalize our tail-call transform to more LabelDefs.

The translation of the LabelDef and Apply of tail-recursive calls
is generalized to support arbitrary LabelDefs, as long as all
label-applies to it are performed from within its body.

In addition to being a nice generalization, this fixes #1148,
because label-defs for while loops transformed in weird ways by
scoverage now fall under this generalized transformation.
PreTransRecordTrees are likely optimizable.
Merge pull request #1150 from sjrd/fix-crash-with-scoverage

Fix #1148: compiler crash with scoverage
Fix #1153: Inlineable classes break with dependent fields.
Allow aliasing to cross the inlineable class constructor barrier.

Basically, this allows to keep information about constants or
aliasing assigned to fields of an inlineable class, for use with
the instance returned by the constructor.
Lift the restriction on aliasing of InlineableClassBeingConstructed.

The only problem is if it is aliased to a field of itself. Otherwise,
scoping rules will prevent any bad thing from happening.
Merge pull request #1152 from sjrd/improve-inlineable-classes

Improve inlineable classes
Optimize varargs by using js.WrappedArray instead of scm.WrappedArray.
Merge pull request #1151 from sjrd/opt-varargs

Optimize varargs with js.WrappedArray.
Fix #1157: Negative number literals should be printed with parentheses.
Fix #1155: Int unary -.
Remove the absurd unary Int_+ and Double_+ from the IR.

They are always no-ops anyway.
Merge pull request #1156 from sjrd/fix-int-unary-minus

Fix Int unary -
WiP.