MiniPacal implemented in Racket