This adds lots of missing declarations to the types of @babel/types, including many utility functions useful to plugin authors. With the typescript types, I tried to make them as useful as possible for control flow analysis / inference, but Flow doesn't seem to support overloads and I'm not as familiar with it anyway so it has simpler types.