Modifications
- types -(predicate constraints) subtypes
- classes -(template modification) subclasses
Varieties of (compatible) modifications
- behaviorally -- algebraic, axiomatic
(type)
- signature -- type checking
(signature)
- name -- method search algorithm
(classes)