added constants for reusing unification as a matching algorihtm.
Constants should not be exposed to a user.