Added some (currently failing) test cases which will test "case of" and
"comprises" additions to tagged types.