Rename specifically exported type constructor