Report: refining types by using constraints.
Added some requests for the description of our types and constraints.
Feel free to add/remove/modify anything I have written.
I just kind of blurped everything out at once so the quality is not very high.
I might revisit this if I have any time at all, but unfortunately can't promise anything.