Τι είναι το TypeScript και ποια πλεονεκτήματα προσφέρει;