Somewhat related -- I have always thought it would be cool to build a capability system like this into a language with a strong H-M type system. I think it would be an interesting study to have the bare minimum privileges passed via type dependences. Done well this would have any given bit of code only have the bare minimum to do its job.

Also: some types of automatic security checks at compile time too!