refactor(library/standard): mark 'not' as transparent

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(library/standard): add notation for symm, trans and subst

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>