awesome comments, and we want to get that experience: a sound type-system and model checker that tells you when things go wrong (statebox' rustc)

but add (formalised) graphical scaffolding to glue parts together.