Text this: Several Types of Totally Continuous Functions in Double Fuzzy Topological Spaces