离婚诉讼中房产类型化及其分割难点与对策