!= with junctions.md

• all previous issues, PR's, mentions
• problems with the "negation lifting" paradigm
  • linguistic problems
    • eventually: excessively anglocentric
  • CS problems
    • ugly workaround for "there are values NOT from the right type" "not none of them are from the wrong type?" ugh
• Unicode operators don't !meta (thankfully)
  • it highly reduces readability if one has to know by heart what are derived operators and what are legit operators