add support for referring to nullary DataCons inside refinement
WIP: playing around with GHC.Generics, have broke all the things!