testing-feat-0.4: Functional Enumeration of Abstract Types