Move Annotation-Validation from AST Transformation to Static Type Check

[pauxus]

Since it is a check for validity. This also remove the need to declare a custom transformation everywhere.