In XL, type inheritance is defined by the existence of an implicit conversion.

This has some impact on dynamic dispatch (issue #13).

Also, automate the generation of the implicit conversion in the case of data inheritance.