enable inference in self-referencing resumable functions

[Krastanov]

In #89 we now support @resumable (f::T)() @yield f.property end, however we have disabled type-inference for that type of functiosn. E.g. check the @test_broken in #89.

This issue tracks re-enabling type inference for such functions.