OpenTofu 1.13 正式版减少计划中的未知值 RSS

相较已报道的候选版，本次确认正式发布；新增类型转换及已知属性表达能力，帮助计划阶段推断值。