SHIFT is a programming language designed to explore compiler theory