A Leaner Specification for GADTs