Proper handling of package references

It makes possible to use several additional language constructs (tuples, case classes, java static methods, fully qualified class names, etc.) in expectations, which previously refused to compile with a messages like “inferred type arguments [scala.type] do not conform to method recordValue's type parameter bounds [U]”.