Text this: The language of Stratified Sets is confluent and strongly normalising