[Parser] Compiles with new varInfo and typeInfo