More reliable static analysis of types used

One of the issues right now is methods that are generic, and also expect the data type as a parameter. That data type parameter gets picked up as a type to register. Sometimes uint gets picked up like this too. The issue lies with fetching generic type parameters.