Attributes/annotations

[minchingtonak]

Basil would benefit from some sort of generalized user-level annotation feature. Some uses include:

• Toggles for compiler optimizations (automatic struct field alignment)
• Static checks (function overriding, pure function, etc)
• Automated tooling, such as documentation generation or code analysis (coverage, timing, etc)

[dumblob]

This would be great. Even greater if the "annotations" allowed for (nearly) arbitrary turing complete computations in compile time.