Changed the description of how the typecheck function works.