Type-based Data Isolation prototype - View it on GitHub