Breaking suggestion: - Remove `@interval T a b` and only keep `@interval T a` and `@interval a`. If we can implement `@interval a b`, then we can reintroduce it.