Add tests checking for `Kind.InputOf` and `Kind.OutputOf` constraints

[Alice T'Poteat]

Right now, $<Kind.OutputOf, NaturalNumber.Increment> returns never instead of number. This prevents composability checks from working properly.