Add support for globals. Attempt to make parameterized types work.