Add syntax for type aliases and annotations