Tried the `devel` branch. Now my second try works already. This means the only
thing one need to do is to replace the looked up symbol of the function with an
identifier and the compiler in the `devel` branch can correct type check/symbol
look up the whole statement again.
That's fantastic! Do
These all work or produce sensible error messages for me on `devel`.
> what does the return type of a macro mean?
It's checked that the produced AST is of the specified type, but indeed `typed`
or `untyped` doesn't make a difference.