Type-Level Math

In places that take metatypes like #int, #bool, or #str, you can pass expressions in addition to base values. These expressions must be surrounded by curly braces.

Supported operations include:

Arithmetic (on #uint, #int): +, -, *, /, %
Comparison (on #uint, #int): ==, !=, <, >, <=, >=
- Both == and != work on #bools too
On #bool only: !, &&, ||, ^^
int::bits_for and uint::bits_for, which take a #uint or #int
- uint::bits_for(x) is ceil(log2(x + 1)) (NOT ceil(log2(x))), so to you need uint::bits_for(N - 1) bits to represent (at least) N values.
- int::bits_for(x) is uint::bits_for(x) + 1 if x is nonnegative and uint::bits_for(-x - 1) + 1 otherwise. In simpler terms, it is the minimum number of bits for a twos-complement representation.

You can also create inline type-level math using const type { ... }, as in:

    const type { 300 / 7 /* spooky! but it's not actually a divider */ }