Real-world examples

[ulysses4ever]

So far we've been using minimalistic test cases. We need to scale up.

[ulysses4ever]

First module I tried: Genie. First failures:

1. Function type is basically impossible to subtype (too many subtypes). So, I had to add a marginal form of blocklisting. Cf. Add Blocklisting #2.
2. Varargs don't work yet. Done in Varargs are not handled when enumerating from Any #6.
3. Any is not handled (fixed in b943b16).

As of cf4c04c, Genie is handled all right, but we need an insight into what kind of results we get. See #7.

[ulysses4ever]

Seemingly, the last bit of trouble when scaling up was about generic methods, see #9. A workaround is available for them now (as explained in the issue), so closing this for now