Add a 'carrier' function to create the Local needed to apply an
homomorphism on a nested identifier.