testing-feat-0.3: Functional Enumeration of Abstract Types