12-type-checking.pdf