Updates to symbol table referenced types method return types

[sinha108]

• Added types for field accesses to referenced types for a callable
• Updated method return type computation to account for typecasts