TODO: Entity / Architecture / Component vs Function?
TODO: Expand on "representable"
TODO: Register
+TODO: Variable vs binder
+TODO: simplification -> Normalisation?
+TODO: Use saturated (application) instead of complete (application)?
+TODO: core => Core