It would be super nice to support this as it remains a major pain point of C++ (at least for myself); introspection of types being the main desired feature

• the keyword reflect
• an expression of the form reflect type-name
• Implementation requirements:
  • Should present a meaningful interface to the user, perhaps through predeclared types
  • Should work with generic types
  • Should have all the information to reconstruct the reflected type (though not required for basic functionality)

small example (syntax is made-up and not decided)

enum Foo<T> {
    Var0: T
    Var1: i32
}

function foo() -> String {
	return match reflect Foo {
        Enum(variants: vs) {
            vs.first().name
        }
        _ => verify_not_reached()
    }
}