Get DrRacket check-syntax arrows working