=== 1. literal == ===
s64 == s64:    true
s64 == string: false
*u8 == *u8:    true
?s64 == ?s64:  true
?s64 == ?s32:  false
=== 2. type_of(value) == T ===
type_of(a) == s64:    true
type_of(b) == f64:    true
type_of(s) == string: true
type_of(a) == f64:    false
=== 3. Type variable storage ===
t == f64:    true
t == string: false
after reassign t == string: true
t == bool:   true
=== 4. type_name ===
type_name(s64):    s64
type_name(*u8):    *u8
type_name(Point):  Point
type_name(Color):  Color
type_name(t):      f64
=== 5. print Type values ===
literal: s64
var:     string
type_of(b): f64
=== 6. generic dispatch ===
describe(s64):    int64
describe(string): text
describe(bool):   boolean
describe(f64):    other
=== 7. identity($T, val) ===
identity(s64, 7):     7
identity(string, hi): hi
identity(bool, true): true
=== 8. Wrap($T) ===
Wrap(s64).v:    42
Wrap(string).v: wrapped
=== 9. reflection on Type ===
size_of(s64):      8
size_of(*u8):      8
align_of(f64):     8
field_count(Point): 2
type_eq(s64, s64):    true
type_eq(s64, string): false
=== 10. ..$args walking ===
type_list():            []
type_list(1):           [s64]
type_list(1, "x"):    [s64, string]
type_list(true, 3.14):  [bool, f64]
=== 11. Type in struct field ===
h.t == s64:    true
h.t == string: false
type_name(h.t): s64
=== 12. compound literals ===
type_name(*Point):    *Point
type_name([4]s32):    [4]s32
type_name([]bool):    []bool
type_name(?f64):      ?f64
