Allow destructor specifications in Datatype

[mn200]

Something like

list = Nil | Cons (hd:'a) (tl:list)

(guessing at what the concrete syntax might be).

Want to back this issue? Post a bounty on it! We accept bounties via Bountysource.