fixed nasty bug with type variables in nominal_datatypes; this included to be careful with the output of the inductive and function package

use_thys ["Paper"];