TypeExtractor now also supports arrays and uses input to realize TypeVariables