pub fn prop_id_w<S: Storage>(storage: &mut S) -> Singleton<'_, S, u32>
index the next proposal to be received