More expressive power


architectural layers

(detailed slides) (goals and status)