checkAtom = (val, check) => {
  let passStyle;
  try {
    passStyle = passStyleOf(val);
  } catch (err) {
    return (
      check !== identChecker &&
      check(false, X`Not even Passable: ${q(err)}: ${val}`)
    );
  }
  switch (passStyle) {
    case 'undefined':
    case 'null':
    case 'boolean':
    case 'number':
    case 'bigint':
    case 'string':
    case 'byteArray':
    case 'symbol': {
      // The AtomStyle cases
      return true;
    }
    default: {
      // The other PassStyle cases
      return (
        check !== identChecker &&
        check(false, X`A ${q(passStyle)} cannot be an atom: ${val}`)
      );
    }
  }
}
@param {any} val Not necessarily passable
@param {Checker} check
@returns {val is Atom}