Text this: Strong normalisation for applied lambda calculi