Starting to type check local assignments