Merge: Modelize check visibility

Forces modelize to check that the return types of methods are legal with regard to visibility.

Also fixes some code where such issues occur.

Pull-Request: #1862
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>