Added (transitive) implementing relation, which is used in widening conversion, which is used to check type compatibility in assignments.
Update generated files.