put alias_elimination everywhere

Author: ChrisRackauckas

docs/make.jl

@@ -19,6 +19,7 @@ makedocs(
         "Basics" => Any[
             "basics/AbstractSystem.md",
             "basics/ContextualVariables.md",
+            "basics/Validation.md",
             "basics/DependencyGraphs.md"
         ],
         "Systems Types" => Any[

docs/src/basics/Composition.md

@@ -1 +1,3 @@
 # [Composing Models and Building Reusable Components](@ref components)
+
+## The `alias_elimination` Transformation

docs/src/basics/Validation.md

@@ -0,0 +1,18 @@
+# Model Validation and Units
+
+ModelingToolkit.jl provides extensive functionality for model validation
+and unit checking. This is done by providing metadata to the variable
+types and then running the validation functions which identify malformed
+systems and non-physical equations.
+
+## Consistency Checking
+
+```@docs
+check_consistency
+```
+
+## Unit and Type Validation
+
+```@docs
+ModelingToolkit.validate
+```

docs/src/systems/ControlSystem.md

@@ -16,5 +16,6 @@ ControlSystem
 ## Transformations
 
 ```@docs
-runge_kutta_discretize
+ModelingToolkit.runge_kutta_discretize
+alias_elimination
 ```

docs/src/systems/JumpSystem.md

@@ -13,6 +13,12 @@ JumpSystem
 - `get_ps(sys)` or `parameters(sys)`: The parameters of the jump system.
 - `independent_variable(sys)`: The independent variable of the jump system.
 
+## Transformations
+
+```@docs
+alias_elimination
+```
+
 ## Problem Constructors
 
 ```@docs

docs/src/systems/NonlinearSystem.md

@@ -14,6 +14,10 @@ NonlinearSystem
 
 ## Transformations
 
+```@docs
+alias_elimination
+```
+
 ## Applicable Calculation and Generation Functions
 
 ```julia

docs/src/systems/ODESystem.md

@@ -16,6 +16,7 @@ ODESystem
 ## Transformations
 
 ```@docs
+alias_elimination
 ode_order_lowering
 liouville_transform
 ```

docs/src/systems/SDESystem.md

@@ -15,6 +15,10 @@ SDESystem
 
 ## Transformations
 
+```@docs
+alias_elimination
+```
+
 ## Applicable Calculation and Generation Functions
 
 ```julia