Normalize uninstantiated type parameters

Fix #729.