Idea for syntax: `X := Y` or `type X := Y`
Idea for syntax:
X := Yor
type X := Y