Enable pos/overrides.scala in tests
Add tests for the overriding of types

These tests work correctly since 222e9a478f7b851582550973df6a9d141766e49a
Merge pull request #236 from smarter/fix/overriding

Add overriding tests
Add the right constructor to Java annotations
Testcase that shows bug in ElimRepeated.
Fix elimRepeated not transforming annotations.
Add Id's to types.

Helps to track where erroneous type was created.
Fix typeAssigner ignoring existence of JavaSeqLiteral
Fix TypeErasure.sigName erasing java repeated params to Seq
Fix underlyingIfRepeated always assuming Scala repeated.
FunProtoTyped to be used when args are known to be typed
readAnnotationContents that should be able to resolve overloaded constructors.
Allow resolving overloads without inferring views.
Fix StackOveflow due to implicit resolution in readAnnotationContents
Infer if overloading resolution should trigger implicit search.

This doesn't require additional argument. Decision can be made solely from the phaseId.
Dotty typer deviation triggered in Unpickler
Fix ElimRepeated not transforming modifiers in tree.
Rename PolyType.copy method. It clashes with generated one.

See #209 for explanation.
#204 check for global uniqueness of definitions.

Check now fails after erasure.
Should become error after fixed.
Allow checking that trees and their defined symbols have modifiers in sync.