The entire section seem excessive to me anyways. A simple "Returns the static common type of the expression and the handler". This is pretty standard fare in a statically typed language I think. Also, still don't understand the section about booleans.

Also, not sure "constant at compile time" really means anything.