Starting to type check variables and logical expressions