sail

Use stdpp notations consistently

Update some files to follow Iris style guide more closely

Make sure dune ignores the rocq directory if we aren't in that project

Refactor Rocq extraction

Refactor partial evaluator value lattices