Make reloads go through the Abacus core.

core/src/main/java/org/nwapw/abacus/plugin/Plugin.java

@@ -220,12 +220,4 @@ public abstract class Plugin {
      */
     public abstract void onDisable();
 
-    /**
-     * Get the variable database.
-     * @return the variable database.
-     */
-    public final VariableDatabase getVariableDatabase(){
-        return manager.getVariableDatabase();
-    }
-
 }

core/src/main/java/org/nwapw/abacus/plugin/PluginManager.java

@@ -423,11 +423,4 @@ public class PluginManager {
         return loadedPluginClasses;
     }
     
-    /**
-     * Gets the variable database.
-     * @return the database.
-     */
-    public VariableDatabase getVariableDatabase(){
-        return abacus.getVariableDatabase();
-    }
 }

core/src/main/kotlin/org/nwapw/abacus/Abacus.kt

@@ -46,10 +46,6 @@ class Abacus(val configuration: Configuration) {
      * The promotion manager used to convert between number implementations.
      */
     val promotionManager = PromotionManager(this)
-    /**
-     * The database of variable definitions.
-     */
-    val variableDatabase = VariableDatabase(this)
 
     /**
      * The hidden, mutable implementation of the context.
@@ -65,9 +61,16 @@ class Abacus(val configuration: Configuration) {
         pluginManager.addListener(tokenizer)
         pluginManager.addListener(parser)
         pluginManager.addListener(promotionManager)
-        pluginManager.addListener(variableDatabase)
     }
 
+    fun reload(){
+        pluginManager.reload()
+        with(mutableContext) {
+            numberImplementation = pluginManager.numberImplementationFor(configuration.numberImplementation)
+            clearVariables()
+            clearDefinitions()
+        }
+    }
     /**
      * Parses a string into a tree structure using the main
      * tree builder.

core/src/test/java/org/nwapw/abacus/tests/CalculationTests.java

@@ -17,7 +17,7 @@ public class CalculationTests {
     @BeforeClass
     public static void prepareTests() {
         abacus.getPluginManager().addInstantiated(new StandardPlugin(abacus.getPluginManager()));
-        abacus.getPluginManager().load();
+        abacus.reload();
     }
 
     private void testOutput(String input, String parseOutput, String output) {

core/src/test/java/org/nwapw/abacus/tests/TokenizerTests.java

@@ -82,7 +82,7 @@ public class TokenizerTests {
     public static void prepareTests() {
         abacus.getPluginManager().addListener(lexerTokenizer);
         abacus.getPluginManager().addInstantiated(testPlugin);
-        abacus.getPluginManager().load();
+        abacus.reload();
     }
 
     @Test

fx/src/main/java/org/nwapw/abacus/fx/AbacusController.java

@@ -320,13 +320,13 @@ public class AbacusController implements PluginListener {
         } catch (IOException | ClassNotFoundException e) {
             e.printStackTrace();
         }
-        abacusPluginManager.reload();
+        abacus.reload();
     }
 
     @FXML
     public void performReload() {
         alertIfApplyNeeded(true);
-        abacus.getPluginManager().reload();
+        abacus.reload();
     }
 
     @FXML