Update Patricia files to use Datatype in place of Hol_datatype.