Update semantical analysis to ensure
  - that constants are retrieved from the enclosing type (instead of a variable of that type for instance)
  - that structure element can be LeftSide or RightSide of an expression only if they represent a valid instance