COP 5021 Lecture -*- Outline -*- for type checking

* in-jastadd

* introduction

* type-checking