Show HN: Minimal type-safe language for software architecture · HackerTrans