Ticket #43 (closed refactor: fixed)
Core.Reconstruct isn't using the PCtor defs.
|Reported by:||benl||Owned by:|
|Component:||Source to Core Translation||Version:|
Types for data constructors are being added to vars by Desugar.toCore, and the contexts are in a different order wrt the PCtor ones, which looks broken.