Add symbolic evaluation for '=/='/2

Also update the docs