Proving Fixed-Point Theorems Employing Fuzzy (σ, 𝒵)-Contractive-Type Mappings