A simple language with a type checker