Fix type-checking `info/1` directives for parametric entities