Sandbox:DavidKohler/Relativized Alon Conjecture/Variable length graph

To do
	Write the definition here and the main properties. Mostly what's in Friedman's paper should be way enough.