This issue is to add support to the TS Declaration Generator for predicate types in TS, which should resolve to booleans: ```ts export declare function isTypeNode(node: Node): node is TypeNode; ``` Unfortunately, we lose the type casting of `node` when used afterwards due to nonequivalence in Dart.