强迫得利：类型化、界分与体系融合