Trivial typo correction.
Fix half-fix of lnamelessScript (changing Hol_datatype to Datatype)