semantic: Assign to nested function parameter slots.