Add miscellaneous proof system notes
Add interpreter CLI
Rename interact-state to interact-context