Update README section on GADTs