add tests for subsumption implementation

I implemented some simple tests to check the implementation of :<:. The
actual test is whether the test functions type check.