Isolate and buff up stack effect inference.
Add more tests.
s/infer: Fix stupid typo and make stuff work.