abbrev DelabM := Id
abbrev Delab := DelabM Nat

example : DelabM Nat := pure 1  -- works
example : Delab      := pure 1  -- works

new_frontend

example : DelabM Nat := pure 1  -- works
example : Delab := pure 1       -- works
