{-# LANGUAGE OverloadedStrings #-} {-| Description: Token processing rules for the primary content of a @\