The new version of the wombat design is (nearly) here.
There is no behaviour/trait/interface system!!
It turns out that you can do that sort of stuff with structure types and the type lattice. This makes everything much better. In fact the plan is to make the type system be Mathematics...
I'll post some stuff soonish. Leave a comment to encourage me. I hope to prepare a talk. Talks help me organise. In fact this design change follows from me giving a talk at the Melbourne Compose meeting. Ben Hutchison didn't like my way of defining monoids as a behaviour. I sympathised but it took me a long time to work out how to fix it.
