Statically Typecheck Rules + Where Clauses

[maurer]

Currently, typechecking is performed only dynamically. This leads to a compile/test cycle that's much longer than it needs to be if the rule wouldn't trigger until later in the program.

Explore using a procedural macro (Rust Macros 2.0) pending stabilization of that feature.

Unless I'm misreading, 1.1 will only allow me to write #[derive()] macros, so to use that all rules would need to be in the form of a type declaration, which is possibly the only way to get weirder than my current edsl.

[maurer]

Removing this from 0.1 release since it's not doable with Macros 1.1.