This includes fixing the translation of =:=, which caused e.g. True =:= True to throw an error.
=:=
True =:= True