refactor(library): add 'and' namespace

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
refactor(library): add 'eq' and 'ne' namespaces

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