Refactored dinodex based on Franco's comments

Indent `when` one step more than `case`.