Fixed the rules for nonmon inheritance. Added inheritance with
equality to future work.
Authored by: kifer 1999-06-12
Parent: [r857]
Child: [r859]
