Tidy up flag cases
Add Labelled and LabelledGraph typeclasses, use them
Remove derefTypes, use applyDerefed and zipDerefed