Fix iIntros on forall

Fixes #307 (closed) and adds support for iIntros "%x" with a named variable (as expected given the behavior of iIntros "%").