symdecl* and importmhmodule (most; and with an error)

source/BandstructureParameters.en.tex

@@ -8,6 +8,8 @@
 \symdef[name=valence-band-edge]{Ev}{E_v}
 \symdecl*{valence-band-DOS}
 \symdecl*{conduction-band-DOS}
+\symdecl*{conduction-band-edge}
+\symdecl*{valence-band-edge}
 
 \begin{definition}
   The \definiendum{conduction-band-DOS}{effective density of state

source/Charge.en.tex

@@ -9,6 +9,7 @@
   \gimport{ElectrostaticPotential}
   \gimport{DensityHoles}
   \gimport{FermiPotentialHoles}
+  \symdecl*{total-charge}
 
   \symdef[name=total-charge]{TotalCharge}{Q_{tot}}
   \symtest{TotalCharge}{\TotalCharge}

source/DensityElectrons.en.tex

@@ -5,6 +5,7 @@
 \gimport{DeviceOperationState}
 \gimport{PhysicalConstants}
 \gimport{BandstructureParameters}
+\symdecl*{electron-density}
 \symdef[name=electron-density]{DensityElectrons}{n}
 
 \begin{definition}

source/DensityHoles.en.tex

@@ -5,6 +5,7 @@
   \gimport{DeviceOperationState}
   \gimport{PhysicalConstants}
   \gimport{BandstructureParameters}
+  \symdecl*{hole-density}
   \symdef[name=hole-density]{DensityHoles}{p}
 
   \begin{definition}

source/DeviceGeometry.en.tex

@@ -5,6 +5,7 @@
   \gimport{Device}
   \gimport[smglom/sets]{cartesian-space}
   \gimport[smglom/arithmetics]{realnumbers}
+  \symdecl*{domain}
   \symdef[name=domain]{DeviceDomain}{\Omega}
   \symtest{DeviceDomain}{\DeviceDomain}
 

source/DopingProfile.en.tex

@@ -3,6 +3,7 @@
 \begin{document}
 \begin{module}{DopingProfile}
   \gimport{DeviceGeometry}
+  \symdecl*{doping-profile}
   \symdef[name=doping-profile]{DopingProfile}{C}
 
   \begin{definition}

source/ElectrostaticPotential.en.tex

@@ -3,6 +3,7 @@
 \begin{document}
 \begin{module}{ElectrostaticPotential}
   \gimport{DeviceGeometry}
+  \symdecl*{electrostatic-potential}
   \symdef[name=electrostatic-potential]{ElectrostaticPotential}{\psi}
 
   \begin{definition}

source/PhysicalConstants.en.tex

@@ -15,6 +15,10 @@
   \symdef[name=Boltzmann-constant]{BoltzmannConst}{k_B}
   \notation[noB]{BoltzmannConst}{k}
   \symdecl*{vaccuum-dielectric-permitivity}
+  \symdecl*{elementary-charge}
+  \symdecl*{Avogadro-constant}
+  \symdecl*{gas-constant}
+  \symdecl*{Boltzmann-constant}
 
   \begin{definition}
     The \definame{vaccuum-dielectric-permitivity} constant (usually denoted by