Add symbolic evaluation for '=:='/2, float/1
Add symbolic evaluation for '=/='/2

Also update the docs