remove semantic AST normalization passes
remove type synonym declaration from symbol table
- this causes some mysterious error upon redeclaration though, like
    typedef int a; int main() { return a; }

    `a` was treated as non-existence during TypeCheck phase
remove some TODOs and fix abused type synonym detection