Normalize goal after existential instantiation.

Fixes #24.