dsimp doesn't work with abbreviations

Stream: general

[Scott Morrison]

def f := 1
abbreviation g := f

example : f = g :=
begin
  -- dsimp [g], -- fails
  dunfold g, -- we have to know to use `dunfold` for abbreviations :-(
  refl,
end

Is this potentially fixable? It's currently an annoying thing to have to remember about abbreviation.

[Kenny Lau]

use notation