Decidability of Subtyping with Bounded Existential Types -- Fractional Ownerships for