types: update for 12.0

Projects gained a field indicating whether they have an empty repo. Issues gained a field indicating whether there is an empty task list.

Issues and MRs also gained a field for task completion, but we leave that unimplemented for now.