experiment: Compile-time validation.

Can we have compile-time validated values such as tags, atoms, or sequences? To my knowledge, Rust has no equivalent to [C++' consteval](https://en.cppreference.com/w/cpp/language/consteval). But we could simulate this using macros, such as `tag!()`, `atom!()`, `sequence_set!()`.