Switched to more structured [TypeFamily] vs Env
Switched Eta to new style DSL
Fixed really broken endsIn
Fixed LC with new style DSL
Updated ShouldError with new style DSL
s/Eta Long/Beta Normal
Update Nats.hs to newstyle and added missing --> Star