allow arguments to @:multiType which are interpreted as relevant type parameters (closes #2494)