Currently, measure and init contain one statement. We don't need this and we can simplify the dialects quite a bit. We should merge these because the current sketch of the Tracking dialect also merge these dialects into a single dialect because they share the same state value.