punct type