SMS dit: Tractable valued constraints