Make typechecker match call argument types