New extension current issue in order to keep duplication in grammar minimal we reuse expressions in check but we need additional information in the property level for type check