Fix #248: Class cannot inherit from refinement types

We now check that classes do not inherit from refinement types
(unless they are an encoding of parameterized types), nor from
& or | types.
One more test case, coming from #214.
Fixed test
Merge pull request #278 from dotty-staging/fix/#248-inherit-refinements

Fix #248: Class cannot inherit from refinement types