Added more on inheritance and type checking.
Authored by: kifer 1999-05-27
Parent: [r801]
Child: [r803]