I guess I should say that we built a type system in Slate using objects and multimethods; it was used for metaprogramming and self-hosting.

Obviously not ideal, but we leaned in the direction we hoped others would see. I don't think enough people saw what we were doing beyond the front page news blurbs. Slate has a lot of good code in it.