misc: refactor, optimize imports

Author: ice1000

Diff for: syntax/src/main/java/org/aya/syntax/compile/JitDef.java

@@ -37,8 +37,7 @@ public abstract sealed class JitDef extends JitUnit implements AnyDef, AyaDocile
 
   @Override public abstract @NotNull JitTele signature();
 
-  @Override
-  public @NotNull Doc toDoc(@NotNull PrettierOptions options) {
+  @Override public @NotNull Doc toDoc(@NotNull PrettierOptions options) {
     return new CorePrettier(options).def(this);
   }
 }

Diff for: syntax/src/main/java/org/aya/syntax/compile/JitFn.java

@@ -2,15 +2,15 @@
 // Use of this source code is governed by the MIT license that can be found in the LICENSE.md file.
 package org.aya.syntax.compile;
 
+import java.util.EnumSet;
+
 import kala.collection.Seq;
 import org.aya.generic.Modifier;
 import org.aya.syntax.core.def.FnDefLike;
 import org.aya.syntax.core.term.Term;
 import org.aya.syntax.telescope.JitTele;
 import org.jetbrains.annotations.NotNull;
 
-import java.util.EnumSet;
-
 public abstract non-sealed class JitFn extends JitTele implements FnDefLike {
   public final int modifiers;
 
@@ -29,13 +29,7 @@ protected JitFn(int telescopeSize, boolean[] telescopeLicit, String[] telescopeN
 
   public @NotNull EnumSet<Modifier> modifiers() {
     var set = EnumSet.noneOf(Modifier.class);
-
-    for (var modi : Modifier.values()) {
-      if (is(modi)) {
-        set.add(modi);
-      }
-    }
-
+    for (var modi : Modifier.values()) if (is(modi)) set.add(modi);
     return set;
   }
 }

Diff for: syntax/src/main/java/org/aya/syntax/core/RichParam.java

@@ -2,8 +2,6 @@
 // Use of this source code is governed by the MIT license that can be found in the LICENSE.md file.
 package org.aya.syntax.core;
 
-import kala.collection.SeqView;
-import kala.collection.immutable.ImmutableSeq;
 import org.aya.generic.term.ParamLike;
 import org.aya.syntax.core.term.FreeTerm;
 import org.aya.syntax.core.term.Param;