fixed handling of types with subtypes in properties. Needed to return
list of paths.
Updated all analyses to handle this.
Also fixed various analyses to correctly use inheritance of error model
clauses.