Create a fresh constant with name prefix name and sort sort.
It is guaranteed that a fresh constant is not equal by == to any other constant.
==