`constexpr` Structs, and Arrays

[LeStarch]

Can we mark structs and array types with the appropriate C++ constexpr tags so that these may be represented by compile-time constants? That would extend our ability to do static_assert checks.