k3sle: Implicit cast on the right modeltype when entering/leaving a transformation