misc: document

syntax/src/main/java/org/aya/syntax/core/def/AnyDef.java

@@ -21,7 +21,7 @@
  *     v                    v                   v                  v
  *   ConDef  <- - -  ConDef.Delegate <----- ConDefLike ----->    JitCon
  * </pre>
- * where the arrows indicate mean "is superclass of".<br/>
+ * where the arrows mean "is superclass of".<br/>
  * <ul>
  *   <li>The first chain is "core def" chain, which are well-typed definition</li>
  *   <li>The second chain is "local def" chain, which may refer to a not yet tycked definition, i.e. tyck a recursive function</li>

syntax/src/main/java/org/aya/syntax/core/def/ClassDefLike.java

@@ -15,7 +15,7 @@ public sealed interface ClassDefLike extends AnyDef permits JitClass, ClassDef.D
 
   default @NotNull Term telescope(int i, @NotNull Seq<Term> restriction) {
     var member = members().get(i);
-    // Our code should not refer the subterm of self, the only meaningful part is [self.forget()]
+    // Our code should not refer the subterm of [self], the only meaningful part is [self.forget()]
     // Also, we don't use NewTerm, cause the type of the self-parameter is a class call without any restriction.
     var self = new ClassCastTerm(this, ErrorTerm.DUMMY, ImmutableSeq.empty(),
       restriction.map(Closure::mkConst)

syntax/src/main/java/org/aya/syntax/core/def/MemberDefLike.java

@@ -8,6 +8,10 @@
 
 public sealed interface MemberDefLike extends AnyDef permits JitMember, MemberDef.Delegate {
   @NotNull ClassDefLike classRef();
+
+  /**
+   * The type of the type of this member, not include self-parameter
+   */
   @NotNull SortTerm type();
 
   int index();