Support simple types e.g. DUs, Enums and Records

Need to create more string constants
Treat type annotation declaration
Handle most of cases in expressions