KT-284 Implement static checks for traits (in progress) — test added

idea/testData/checker/TraitSupertypeList.jet

+class bar()
+
+trait open class Foo<error>()</error> : bar<error>()</error>, bar, <error>bar</error> {
+    <error>this</error>(x : Int) {}
+}
+
+trait open class Foo2 : bar, Foo {
+}
+
+open class Foo1() : bar(), <error>bar</error>, Foo, Foo<error>()</error> {}
+open class Foo12 : bar<error>()</error>, <error>bar</error> {}
\ No newline at end of file