static bool matchSomethingWhichIs(O pat, O real, IMatchF elementMatcher, Map map) {
  if (pat << SomethingWhichIs && real instanceof S) {
    if (!ai_is(quote((S) real), pat/SomethingWhichIs.type)) false;
    print("Assigning " + pat + " => " + real);
    ret strictPut(map, pat, real);
  }  
  false;
}