Marks value types which can be compared for equivalence in a way that
guarantees that equivalent values can be substituted for each other without
changing the meaning of a program.
Abstract class for sites with a total and immediate semantics: evaluate the arguments and
return a value without blocking and without affecting the Orc engine.