Diesel, successor to the language Cecil

http://wasp.cs.washington.edu/wasp_diesel.html

Lots of good ideas and I respect the work done on predicate dispatching, but I think the language could have been simplified. Also, using reflection with pure multimethod dispatching is tricky. Can you ask an object which methods it supports?