Add link_missing_calls function.

This function links calls with function
declarations. This can't be done at AST built time
since accept recursive calls or calls to 
later-defined functions.

After this, we can run our typesystem's check
function without passing around global, local or
function parameters.