fn propagatable_scalar( place: PlaceIndex, state: &State<FlatSet<Scalar>>, map: &Map ) -> Option<Scalar>