Added some notes on a data structure design for multi-stage programming in Penknife.
Wrote notes on a design for a staged variation of the calculus of structures, which may flesh out into staged dependent typing in the Era module system and/or dynamic implementations in Penknife.
Added some notes on possible future directions for the staged calculus of structures.