Predicate definitions::typeLookup

Holds if ref is an identifier that refers to a type declared at decl.

predicate typeLookup(ASTNode ref, ASTNode decl, string kind)