TR: Fix subtyping for keyword function types

I'd like to get this relatively small commit reviewed because despite the small number of lines, getting the subtyping reasoning correct is tricky and it's quite possible that I made a mistake in fixing the bug.