is types added to PolicyProposition and ServiceProposition