now checking both number and type of formals as well.