turned show_question_marks into proper configuration option;
show_question_marks only affects regular type/term pretty printing, not raw Term.string_of_vname;
tuned;
use_thy "FP0";
use_thy "FP1";
use_thy "RECDEF";
use_thy "Rules";
use_thy "Sets";
use_thy "Ind";