Attributes for linting/checking
===============================

Inspired by @NonNull in Java (obviously not needed in SLUL) and Enum.@unique
in Python.

It would be nice to have @attributes that could be added to different kinds
of elements to provide compile-time checks. Perhaps it could be implemented
using CTFE with compile-time-reflection?