Support object constructor for distinct object types

[MichalMarsalek]

Summary

I feel like the following should be a valid code

type Foo = object
  data:int
type Bar {.borrow: `.`.} = distinct Foo

let x = Bar(data:0)

since I'd expect Bar to behave the same as if I just copied the type definition of Foo.

Description

I propose the code above to be treated as a valid code with the meaning of

type Foo = object
  data:int
type Bar = distinct Foo

let x = Bar Foo(data:0)

Alternatives

One alternative is to use the original type object constructor followed by the type change. If that gets tedious, one can create an init proc. Nevertheless the proposed syntax seems cleaner and intuituve.