Starting to type check globals