Add a test suite

[mrkkrp]

There is nothing really complex here, but a test suite would be good, still.

[mrkkrp]

This package may be of interest because there are a lot of type-level stuff here: https://github.com/sheyll/type-spec.