Strong Normalisation of Typed Atomic Lambda Calculus