Known user-facing bugs
======================

* After removing a type from a module via `compile_typespec`, it cannot be readded without,
  at minimum, making a change to the comment on the type.