A type system for RCL: Implementing a typechecker in Rust | Hacker News Reader