taskLocal: globals are static to tower_task_usercode_X.c file
rpc monad is a writer
rpc: further sketching out
freertos: test for rpc
tower: more rpc plus a test
wibble

* not sure what i was talking about - looks ok?
existential quantification: ihavenoideawhatimdoing.gif