compare the variables' types as well