0.9.* -> 1.*, D.Y.Eval and D.Y.Fold unified, Work type hierarchy