Fixed the type of the REF relation
The type of the REF relation is now REF(Int, String), where the second argument is the name of the referred predicate, without the leading quotation symbol.
The type of the REF relation is now REF(Int, String), where the second argument is the name of the referred predicate, without the leading quotation symbol.