Hi @mmkal! In mmkal/ts#30 I asked for clarification on .toMatchTypeOf, because its meaning wasn't clear to me from the name alone. You've updated the documentation and it is clear after reading it, but now that some time passed I had to check again because I again wasn't sure.

Original request

I'd like to request the addition of .toBeSubtypeOf as an alias to .toMatchTypeOf, and also request the addition of .toBeSupertypeOf while you're at it. What do you think?