Crystallized separation between abstraction and implimentation.
Introduced mechanism (not entirely successful) for switching between
abstract and concrete representations.