Strong (:-), added tooling for supporting natural transformations over
constraints