match ( function_signature, actual_parameters )
	if parameter count doesnt match error

	for argument in actual_parameters:
		normal_form(argument)

	has_progress = true
	while has_progress:
		has_progress = false
		for (param, arg) in (function_signature, actual_parameters):
			normal_form(param)
			has_progress |= find_new_bindings(param, arg)