Identification/Type Checking

Most of Identification and Type Checking implemented.