This PR is extracted from (todo).

In this PR we aligns the AST definitions in @babel/types to the actual @babel/parser behaviour. The following changes are implemented:

• Add BigIntLiteralTypeAnnotation type definition. This AST type was introduced in BigInt type for Flow #10091 but we forgot to add the babel-types definition
• Allow TSInterfaceDeclaration and EnumDeclaration under ExportDefaultDeclaration
• Change the extends type of TSInterfaceDeclaration from TSClassImplements[] to TSInterfaceHeritage[]. The parser always generates TSInterfaceHeritage so this is a definition error. Since TSInterfaceHeritage is introduced in Babel 8, we can fix it before 8.0.0
• Allow the kind of TSModuleDeclaration to be module
• Allow the object of BindExpression to be null. This AST models the production :: MemberExpression[?Yield]
• Allow the key of ObjectTypeProperty to be NumericLiteral. Flow allows type A = { 0: string } but it does not support bigInt as object type key yet
• Change the value type of DeclaredPredicate from Flow to Expression. It is formed by super.parseExpression. BTW Flow has removed the support of predicate syntax
• Allow predicate type of DeclareFunction to be InferredPredicate. Both Babel and Flow parser support declare function f(): boolean %checks though Flow will emit an error that the syntax is unsupported and will be ignored