[seanmcdirmid]

I'm working a type system called type-less that is oriented in this direction; check out:

https://www.youtube.com/watch?v=II1PgYTPW_U

I need to do another video soon, the work has progressed a bit further since then.