Provide type to represent theory-like DAGs

Not just the theory dependencies stored by the Theory implementation,
but also for grammar ancestry dependency, which may be different.