Support generic types

[AndreLouisIssa]

This may be complicated as generics can be scoped

Constrains:

• Enrich converters_into/luacats #12

Might constrain:

• Planned converters_into #7
• Support overloads #16