A toy program for learning how to perform type inference in a stack-based language like Cat.