API change: specialization_arglist -> specialization_arghash; added support for constrained respecialization