All expression can now be typed.