Type and scope checking doc