Make the fact that plugin activates dangerous features obvious when importing it

[anton-trunov]

Could we import the plugin it as

Require Import TypingFlags.Unsafe.  (* or anything else conveying the same sense *)

instead of the current Require Import TypingFlags.Loader ? [sorry for nitpicking :)]