SMS dit: Computations in higher types