     "shows"
     "structure"
     "unchecked"
+    "unsafe"
     "uses"
     "where"))
 

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

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