Variable CounterConst

Counter: brand<filter<Schema<number, number, never>>, "Counter"> = ...