Adapt type use based on class bound

[Ao-senXiong]

No description provided.

[wmdietl]

Thanks.

[Ao-senXiong]

This is the test for testing the new change.

[Ao-senXiong]

To summarize this PR:

1. Adding getAdaptedTypeDeclarationBounds for well formed type use. Every type used is checked to be supertype of type use adapt its bound. Formally, q |> bound(C) <: q.
2. Override CheckConstructorReturn method to make remove a few warnings about inconsistent constructor return type. I think this make sense because create @A C c should be legal in @A class C{} in the system.
3. Change the qualifier default from @Top to @A. We should resctrict the class bound from the top type to more concret types such as @A, @B and @RDQ.

This help us eliminate many errors message.

[Ao-senXiong]

I think the misc check sometimes fails but not always with the following error message:

Fetched 319 MB in 12s (26.1 MB/s)
E: Failed to fetch http://security.ubuntu.com/ubuntu/pool/main/u/util-linux/uuid-dev_2.39.3-9ubuntu6.1_amd64.deb  404  Not Found [IP: 52.252.75.106 80]
E: Unable to fetch some archives, maybe run apt-get update or try with --fix-missing?

[Ao-senXiong]

why adapting anno with useType, should it be useType adapt anno?

[Ao-senXiong]

Expose method in the interface and remove this downcast.