     "locale"
     "method_setup"
     "moreover"
-    "new_domain"
     "next"
     "nitpick"
     "nitpick_params"

    "shows"
    "structure"
    "unchecked"
    "uses"
    "where"))


    "local_setup"
    "locale"
    "method_setup"
    "nitpick_params"
    "no_notation"
    "no_syntax"
