Minor naming
Elab enum of constructor names before params.