!752

m {
  static new L<S> store;
  
  static void store(S s) {
    store.add(s);
  }
  
  match "every integer between * and * is a *"
    as int a, int b, S type {
    store(make("every * is a *", make("int between * and *", a, b), type));
  }
  
  match "is * a *" {
  }
  
  match "#*: * is a *"
    as S value, S a, S b {
    checkType
  }
}