generate_valid_topology_generates_max_topo
refactored
moved and redid generate_valid_topology_max_topo

can now deprecate composition_ENF.thy
refactoring
deleted TopoS_Composition_Theory_ENF.thy