testing properties of UserDefinedType