Left part of the constant-binding syntax (constant(tag)).
constant(tag)
Binds the previously given tag to the given instance.