@Test
public void isSubtypeOf_subtype() {
assertTrue(BooleanTypeValue.getInstance().isSubtypeOf(TypeTypeValue.getInstance()));
}
@Test
public void testGetSupertype() {
assertSame(getInstance().getSupertype(), TypeTypeValue.getInstance());
}