Basic Separator Matrix Notation, abbreviated as bSMN, is the
first component of Separator Matrix Notation.

Hence the name, the basic concept of bSMN works with a hierarchy
of many different types of separators.

@ = Any separator of the same kind in any one expression.

Rules numbered 1 are full expression rules. Rules numbered 2
are separator rules. Those separators are put into expressions,
just like the ones in rules numbered 1. Rules numbered 3 are
lexical rules.

Rule 1a: a(0)b = a^^b

Rule 1b: a@a@a...@a w/ b a's = a@(0)b

In the rules below, the indeterminately long strings of
parasegs (each item that is enclosed in parentheses along with the
parantheses themselves is called a paraseg) are all part of the
expression a@b, so the ellipses denot…