Fix a bug in typechecking kw function application

Mandatory kw arguments in function types could confuse
the typechecker when the function had the
`syntax-procedure-converted-arguments-property` property
set.
Add typed/net/git-checkout
Typo fixes in docs