Normalize uninstantiated type parameters

Fix #729.
Merge pull request #745 from dungpa/type-constraints

Normalize uninstantiated type parameters