end of Type Basics II
minor edits