New LHS-expressions processing code. Properties' contract re-validated even in case of deep modifications. Properties type specification added