Show HN: Automating Type Safety for Mission-Critical Industrial Systems