Richer terminal language

[iitalics]

;; extend terminal set
(define-terminals T1
  #:extends T0
  ....)

;; multiple terminal sets
(define-language L
  #:terminals T0
  #:terminals T1)

;; inline terminal set
(define-language L
  #:terminals 
  ([x ::= symbol?]
   [i ::= integer?])