More use of `functorial isomorphism' in dictionary.