Secure Unix ancestor KSOS did type safety before Rust made it cool

Modula-based source code resurfaces after nearly four decades