Fix policy definition in normative types