Text this: Non-idempotent intersection types and strong normalisation