Function parameter names

[phisiart]

Currently parameter names of a function are recorded in the function type.

TFunction {
    return_type : Type
    arguments : (name : String, type : Type)[]
}

In a function definition, the names are used.

However, this doesn't accurately reflect the C semantics. The names of parameters don't relate to the type of the function. What if you first write a prototype and then a definition? The first doesn't need parameter names and the second does. Does the second function type overwrite the first?