Added The Type Checking and Code Generation Systems

Type Checking and Code Generation directories have been added