Resolve variables entirely within AstBuilder

Author: bioball

docs/modules/style-guide/pages/index.adoc

@@ -193,7 +193,7 @@ Too many lines separate `foo` and `baz`.
 Properties that override an existing property shouldn't have doc comments nor type annotations,
 unless the type is intentionally overridden via `extends`.
 
-[source%tested,{pkl}]
+[source%parsed,{pkl}]
 ----
 amends "myOtherModule.pkl"
 

pkl-core/src/main/java/org/pkl/core/ast/builder/AstBuilder.java

@@ -15,15 +15,16 @@
  */
 package org.pkl.core.ast.builder;
 
-import org.pkl.core.ast.ExpressionNode;
-import org.pkl.core.ast.member.ClassMethod;
-
 public sealed interface MethodResolution {
+  record ImplicitBaseMethod() implements MethodResolution {}
 
-  record DirectMethod(ClassMethod method, ExpressionNode receiver, boolean isBase)
+  record LexicalMethod(
+      boolean isObjectMethod,
+      boolean isOnClosedClass,
+      boolean isModuleScope,
+      boolean isLocal,
+      int levelsUp)
       implements MethodResolution {}
 
-  record LexicalMethod(boolean isConst) implements MethodResolution {}
-
-  record VirtualMethod(boolean isConst) implements MethodResolution {}
+  record ImplicitThisMethod() implements MethodResolution {}
 }