How to properly make a static type-checking macro?

[Nlits]

> You do not have a return type it should be : untyped.

I had `: typed` there but the compiler bugged me to remove it as it was the 
default?