Add Length expression for strings

Change-Id: I91372a7c6166e9109955a8de09142cfdfae75fca
Fix definition for False literal

Change-Id: Ic82b434d0077701f284708202d74e0cfc8562e86