Каким образом TypeScript поддерживает концепцию полиморфизма в типах и классах?