Synchronized Hyperedge Replacement with Name Mobility