Non-emptiness test does not always terminate

```
type 'a n = [ Z of 'a | S of 'a n ].
type 'a t = [ N of ('a t) n ].
```
Type `'a t` is empty for all `'a` but EC loops indefinitely while evaluating its definition. I'll investigate this