Did finite*finite and finite*infinite dep/enum

Also utility functions on enums