a Racket language inspired by ARc and written by Kogir