Upgrade to Shen 13

Includes changes to K Lambda primitives:
- pr removed (now implemented in Shen)
- write-byte added
- open now only takes two params: path and direction