Start work on mutable effect types
Mutable resources now working, and add File example