should all namedTypes let-exports be PredicateTypes?

[seansfkelley]

It appears that all the values exported through namedTypes are PredicateTypes

$ _ = require('lodash')
$ astTypes = require('ast-types') // version 0.14.2
$ _.uniq(Object.values(astTypes.namedTypes).map(t => t.kind))
[ 'PredicateType' ]

but all of the let declarations in namedTypes.ts state that they are Types

ast-types/gen/namedTypes.ts

Lines 1617 to 1619 in 53123a2

	export let Printable: Type<Printable>;
	export let SourceLocation: Type<SourceLocation>;
	export let Node: Type<Node>;

and that's specified here

ast-types/script/gen-types.ts

Line 149 in 53123a2

b.identifier("Type"),

and it is of course technically true

ast-types/lib/types.ts

Lines 11 to 16 in 53123a2

	export type Type<T> =
	| ArrayType<T>
	| IdentityType<T>
	| ObjectType<T>
	| OrType<T>
	| PredicateType<T>;

but means that when I use these types through jscodeshift, the compiler gets mad:

j.MemberExpression.name

// Property 'name' does not exist on type 'Type<MemberExpression>'.
//  Property 'name' does not exist on type 'ArrayType<MemberExpression>'

Would it be correct to change the type generator to state that these are all PredicateTypes?