all tests pass after surgery, next: move addTyConInfo into Bare.hs
more nukage