Realising I can do most of what I am looking for in programming languages (reminder I build business apps mostly, not systems engineering like micro kernels or databases) using Effect. I looked into Deterministic Simulation testing, strong types & error channels + requirements/dependency tracking and fit with TigerStyle like programming.