Added some test for corner cases to improve code coverage and stability
Rename T_VAR to T_ID to better reflect it's usage
Rename T_VAR to T_ID to better reflect it's usage
Started adding specs for type definitions and annotations