List of backwards incompatible API changes to do in 1.0

[mvdan]

• Replace as and infer with proxy - Proxy #41
• Remove setImportsQ in favor of setImportsF
• Give setImportsF a better name, potentially just replace setImports with it

Open to suggestions - this list can of course be extended. We should try to keep the number of changes small, but at the same time make it worthwhile - as we don't want to introduce other backwards incompatible changes every other year.

I'll release 0.8 soon, so 1.0 could happen sometime this year or next.

[mvdan]

We might want to replace typeChecks with typeChecksWithDetails. The latter is more powerful, as it can be used to both obtain the type, as well as the type checking error. The former simply returns a bool. Having both bloats the API in the long term.

[gelisam]

One change I would like to make is to replace runStmt with a bindPattern operation. I don't like runStmt's String-based API, I would prefer if we were taking the pattern and the expression to bind to those patterns separately... as two separate strings. Okay, I guess it's only a small improvement over a String-based API :)