Ignore quantified variables when determining whether types can be
unlimited.

As a side effect, the final two test cases in tests/sessions.test now
pass.