Started Type and Scope checking module