An interpreter for the while language.