I've been iterating on the type system of a somewhat-kooky programming language I'm developing: https://github.com/mkantor/please-lang-prototype