set type to AST type nodes and variable symbols

- fix type class constructors
- pointers to type in symbols should be weak reference?
- setting type to function variables is TODO