Discussion on the best location for "facts"
I would like to open a discussion on the proper location for basic lemmas about behavior ("fact") and possibly model definitions.
I believe keeping them out of the behavior (and maybe even model) directories has several advantages:
- For readers it makes it easier to get an overview of the definitions used in prosa
- Keeping proofs in a centralized location (either a subdirectory of analysis or a "lib" directory?)