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