changed wrapping rules, operation name not considered a symbol, extra symbols for Biconditional and biconditional precedence=3, basic simplifier started. tests updated
renamed instances of the identifier `expression` to `expr`
simplifier works more better
parser accepts unicode symbols, simplifier works better