Removed useless definition of DEFTYPE.