A programming language based on patchable data types - View it on GitHub