Update template-types.ss