add list membership function to adt lib