derive GTraversable for Sign
Fix GADTs
Fix PatBind
Fix EVar