Labelled preorders and coercions: different approaches to multiple inheritance