Match flow types in babel-types to our type support

[tmcw]

https://github.com/babel/babel/blob/master/packages/babel-types/src/definitions/flow.js

Make sure these are all covered.

TODO: I don't see clear JSDoc/doctrine equivalents for any of these, unfortunately.

• TypeofTypeAnnotation
• IntersectionTypeAnnotation
• ThisTypeAnnotation
• BooleanLiteralTypeAnnotation

[arv]

Our tests uses BooleanLiteralTypeAnnotation but it isn't supported in Doctrine and if you try to generate HTML from it, it fails.

[arv]

Created a fix for doctrine: eslint/doctrine#173

[arv]

Turns out that Doctrine does not support optional fields in object types:

type Record = {
  opt?: number,
  req: string,
}

[arv]

Also, type parameters in type defs.

type F<T, V> = (x: T) => V;