k3sle: Model types directly implement their super types