UNB/ CS/ wiki/ teaching/ cs4613/ lectures/ Lecture 14: Nominal and Structural types