Syntax change to extend the `Decimal` type with automatic digits

[Baudin999]

Should we extend the language to automatically set the decimals of a decimal like so:

type Foo =
    Something: Decimal(2);

The new thing is the (2), currently it is possible to do this by specifying a decimals restriction. The consideration is this:

• Will it make sense to change the syntax for one base type
• Does it add value?
• Does this belong in the actual philosophy of the language?

Current version:

type Foo =
    Something: Decimal
        & decimals 2
    ;