* Move theorems about functions

* Add function specific nomenclature

* Add constant functions, replace definitions in types module

* Add Sigma and Pi definitions

* Remove app from TypeLib

* Revert changes to ADTExample

* Simplify FunctionProperties imports

---------

Co-authored-by: SimonGuilloud <simon.guilloud@epfl.ch>