For some tests context is required, it should be passed to checker phase.
More informative asserts.
Typos corrected.
More verbose assertions.
Unnecessary semicolons removed.
Add test case for #34

Right now this one fails.
Fix of #34

The root cause of #34 was that we took a type argument which was an existential type. These are returned as type bounds, which make no sense in the calling context. To avoid that problem in the future, `typeArgs`
got renamed to `argInfos`, so it is clear we get an info, not necessarily a value type. There are
also added method `argTypes`, `argTypesLo`, `argTypesHi`, which return a type, but either throw an exception or return a lower/upper approximation of the argument is an existential type.

There's another issue that the existential type only arose when compiling the same couple fo files the seciond time. We need to chase that one down separately.
Merge pull request #38 from odersky/fix/#34-pathresolvers

Fix/#34 pathresolvers
Merge pull request #35 from DarkDimius/tests-2

For some tests context is required, it should be passed to checker phase.
Merge pull request #37 from DarkDimius/assertions

Typos, better assertions, dead code
Merge branch 'master' of github.com:lampepfl/dotty
Merge branch 'master' into treeTransformer

Conflicts:
	src/dotty/tools/dotc/core/Denotations.scala
	test/test/SamplePhaseTest.scala