Fix #766, properly trim explicit exports of ADTs and type aliases

It looks like it may be possible to simplify Var.Value so that it just
has values and types. I’m not sure though.
cosmetic: change indentation a bit