working on adding types to the syllabus