Isn't a large portion of the code to get friendlier messages for the user?

Yes, that explains a lot of the complexity. Another reason is type checking/inferring and making the AST detailed enough for code analysis tools, such as code hinting in IDEs.