Starting to add typing rules for variables and statements