This now returns a `CallExp` instead of an `ErrorExp`. Is this intended? And why does this generate a better error message?