Jaki subtyping system mamy w TypeScript? Jakie są tego konsekwencje?