Extending info about relations between types in CLS