Add Variable semantics section

• SimpleVar
• FieldVar
• SubscriptVar