If LSP defines this why do people keep modeling things this way? More importantly, why do all the type systems let me create models this way. They have one job:

If LSP defines this why do people keep modeling things this way? More importantly, why do all the type systems let me create models this way. They have one job: to help me with correctness. Looks like that failed. So you see my point.