Implement a MVP for a type checker in R. The specification for the semantics of a static can be found in crates/typing/README.md.