Stated naturality laws and added lifting of natural transformations