refactoring of Plugin, made a Plugin.t that subsumes the old
types because anyway, to_fact/of_fact are useful;
Plugin.t contains a signature field because it should be able
to declare several symbols