Title: Strong normalization in a typed lambda calculus with lambda structured types