Simple expressions now have type checks