Bug: Infinite loop when referring to a non-existent type

If a data type mentions a non-existent type, then rather than throwing an error, or even timing-out, the elaborator seems to get stuck in an infinite loop.

```lean
data Foo α where
  | A : NonExistent α → Foo α
```