Starting to type check while and repeat statements