Added resolver, resolving types for AST creation