On Double Fuzzy Topological Spaces: Some New Types of Separation Axioms, Continuity, and Compactness | Synapse