For new_expression,
that construct values of types with the
new keyword, special type rules
apply as described in the
Constructors
section of the
Types section.
A new_expression is of the
form new t x, where
the x is an n-tuple
of expressions given as
constructor
arguments. The expressions given are evaluated from left-to-right
by rules new_left_0 and
new_left_1, resulting in
a new value of type t.