Elaborated on UC9.3 and UC9.2 removing ambiguity

This pull request is related to #217
see http://www.requs.org/typical-mistakes.html#interface-is-not-a-type