This milestone consists in specifying measures to a given type in a type system such that monitored feature can decode message payloads according to the feature measure type.