Τι είναι οι κυριολεκτικοί τύποι στο TypeScript και για ποιο λόγο χρησιμοποιούνται;