Zaslat SMS: Modules over valuation domains