Some more test passing now that we have Any.exists
Unfudge tc() tests, now that we have tc()
Unfudge tests / marked as todo that seem not to blow up anymore