Thanks for the comments. I'm one of the authors of the book (Miller). Although I wouldn't say that the ADTs are strict ports from Java, I would say that because we teach Java in our next class that was definitely in the back of our heads. Now that we are online, I could definitely see moving in the direction you suggest to make this interesting to a wider audience.