RakuAST: Type smilies not entirely supported

[ab5tract]

The Problem

Type smilies are not always being respected:

> r 'my Positional:D[Int] $x; dd :$x'
:x(Positional[Int])

Expected Behavior

The above should behave like:

> r 'my Int:D $x; dd :$x'
Variable definition of type Int:D needs to be given an initializer

Environment

• Compiler version (rakudo -v or raku -v): v2024.04-82-gecd2dd469

Notes

See #1412