data types and the operators about them and ADT related operator