* all:
  - Implements type checking for property reference.