Fundamental change. Types of expressions are now recursively resolved during comprehension phase. This type information is used to improve code generation, specifically to support zero-index array access with the bracket operator. Also, Sol now parses imported headers and uses that information for further comprehension.