type constructor is almost finished. Replace the initialization routine.