Implemented functionality for type checking literal expressions and identifiers
Added unit tests for type checking literal expressions and identifiers