Type Constructors as Type Arguments

[IGI-111]

CS-FSSA-024
In Sway one can define generics like the following:

struct S<T> {x: T}

The programmer then needs to provide a concrete type to instantiate the struct.
However, the following is wrongly accepted by Sway:

struct S<T> {
 x: T,
}
impl<T> S<T>
{
 fn bar(){}
}
fn main() {
 let x = S::<S>::bar();
}

Note that here S does not represent a type but rather a type constructor i.e., an element of the language
that accepts a concrete type T and returns another concrete type S. This shouldn't be accepted.