Forward_call_complain gives better error message when parameter/result types do not match; fix minor bug in verif_queue.v