fix bug in typechecking calls with non-constant keywords