Disjoint does not cover all cases for "bad" cyclic type aliases

[kaleidawave]

There are several type alias which while are disjoint to their definition, have problems

// valid but not possible to construct. Does this break reading properties
type X = `prefix ${X}`; 

// disjoint but equivalent to number
type Y = number | Y;