Support `undefined` `max` values for quantifier nodes

Fixes #2.