Factored out natural transformation type into synonym.