Elaborated on UC7 to decrease its ambiguity

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