SMS dit: Calculating Functional Programs