C#: More type-based adjustment of library-flow access paths

This change removes the restriction that only access paths of length 1 can
have the head adjusted, based on type information from the call to the relevant
library-code callable.

Author: hvitved