Naming conventions
==================

Files
-----

TODO


Modules and module types
------------------------

TODO


Definitions
-----------

TODO


Lemmas
------

TODO


Variables
---------

TODO


Types
-----

TODO


Predicates
----------

TODO


Projections
-----------

TODO