Deakstadieđáhus: Modules over valuation domains