Construct: field_access

Kinds:

• instruction

Features:

• object: expression
• field: identifier
• arguments: argument_list ?