sublink: Same rationale as for subrel (6)

 * Fix model instances
 * Fix test instances
 * Fix kleisli model rel type transformation