Starting to type check statements