semantic: Correctly handle directly referring to interfaces from function parameters.