What advanced features of TypeScript do you know for flexible type handling: utility types, conditional types, constraints of generic parameters, and others?