DIP31: compile time paradoxes defined. Requested examples added

[deadalnix via Digitalmars-d]

http://wiki.dlang.org/DIP31
I've been asked to add examples of resolution for various cases 
(hint they all error out).