The problem with static and dynamic type systems is that you have distinct types. We need fuzzy type systems, where each object is it's own type. How would you create a capability system out of a language like Self? Or is it naturally capability based? John