Ben Greenman
#lang agile ....
is short for:
#lang racket/base(require (for-syntax racket/base syntax/parse) racket/match racket/list) ....