Implement missing symbols from Semantic Domain Lite

[rooksdo]

Issue to be completed!

Description

Some symbols are missing from Semanic Domain Lite that need to be implemented

• Renames clause

[fm-117]

Look for "TODO SemanticDomain" in code to get the list of missing features:

• Symbols for RENAMES / 66-levels
• Type expansion mechanism (TypedefSymbol and TypedefType are created but types are not expanded)

[fm-117]

After the SemanticDomain is complete, null checks on values coming from StorageAreaReadsSymbol and StorageAreaWritesSymbol can be removed.