Subtype -- signature and behavior

• preservation of behavioral properties