v0.13

Now maps are handled (as sets because the runtime-code does that anyway).

Every ANY extends java.lang.Object (even interfaces do to make valid checks that would work on any implementation of it work).

many minor bugfixes.

on-demand import-statements (ending in .*) are resolved much better.

Multiple constraints may be given in one annotation.