sem generic proc param types like generic types + static instantiation fixes

sem generic proc param types like generic types + static instantiation fixes #26975