slimming godel deps
Switching to use data/enumerate rather than home grown