We should populate the grin TypeEnv only with entries that actually exist in the generated code

The type enviornment created as initTyEnv in Grin.FromE currently slurps the entire dataTable, this not only wastes work but misses conjured types such as absurd and box that may occur in the code. We should utilize the same mechanism we use to add new funciton types to only add constructor types that are needed.