edit lecture: add type check and QuickCheck to lecture 12