++Added check for incompatible variance modifiers and repeated modifiers
Simplified signatures propagation for vararg types
 (do not change flexible types)
Make vararg argument of java annotation have 'out' type