Wrote code for detecting types (in string representation) in semantics analysis. Types are detected at lexical analysis stage.