reorganization in preparation for parser

lib/forgejo.ballcloud.cc/wball/proof-checker/kernel/kernel.mlb

@@ -0,0 +1,9 @@
+$(SML_LIB)/basis/basis.mlb
+VAR.sig
+Var.sml
+TERM.sig
+Term.sml
+FORMULA.sig
+Formula.sml
+PROOF.sig
+Proof.sml

lib/forgejo.ballcloud.cc/wball/proof-checker/parser/parser.mlb

@@ -0,0 +1,3 @@
+$(SML_LIB)/basis/basis.mlb
+../../../../github.com/diku-dk/sml-parse/parse.mlb
+../../../../github.com/diku-dk/sml-parse/simple_token.mlb

lib/forgejo.ballcloud.cc/wball/proof-checker/proof-checker.mlb

@@ -1,11 +1,2 @@
 $(SML_LIB)/basis/basis.mlb
-../../../github.com/diku-dk/sml-parse/parse.mlb
-../../../github.com/diku-dk/sml-parse/simple_token.mlb
-VAR.sig
-Var.sml
-TERM.sig
-Term.sml
-FORMULA.sig
-Formula.sml
-PROOF.sig
-Proof.sml
+kernel/kernel.mlb