yes! i had this exact idea. i also thought about integrating geometric/clifford algebra using zig's type system so that you could have one mathematical multivector object instead of complex / quaternion types, etc.

That's the other great thing about using comptime, is you can specify which DSL you want to use for which scenario. You're not locked into one implementation.