SMS dit: Modules over valuation domains