Remove use of URI in WriteTypeConsistencyChecker

[fm-117]

SymbolReference.URI is used in WriteTypeConsistencyChecker to identify the target of a REDEFINES however this should be done using the appropriate property (RedefinedVariable on the node itself)

Rewrite the two methods to simplify the code.