Loading types-tydef-bad.disco...
While checking types-tydef-bad.X:
  Error: there is no built-in or user-defined type named 'Flerb'.
  https://disco-lang.readthedocs.io/en/latest/reference/no-tydef.html