Essay On Languages Of Sorts