Structs

This looks for type parameter declarations and infer type parameters.