replace symbols correctly when subtyping dependent types

according to discussion in https://groups.google.com/forum/#!topic/scala-internals/kSJLzYkmif0/discussion
this change has no impact on the scala type system, but it can fix subtyping for annotation checkers if
the pluggable type system supports annotations that can refer to method parameters.