Use unique names for constructors in frontend.

This way, extraction is not inventing new names.