RFC: `abstract struct` and `abstract enum`