relax wf of self-types to be able to run some queries.

otherwise, some reshuffling b/c restrict-sub-tp is now broken (but in
a good way!).