Mochi is a small, statically typed programming language