#My TODO list##Short term-Expand the language.
- Import theorems from outside.
- Pattern matching.
- Update monad.
-Add notations.
-Generalize the language to work for an arbitrary BI, rather than specifically iProp.
- This would require changing it from an *affine* language to a *linear* one.
##Long term-Explore the idea of combining this with a normal programming language.
- As in, combine the analysis language with the language it's analyzing.