Q.2: {2,3}. Q.3: Statements can have two types: L stmt | H stmt. Subtyping: L < H H stmt < L stmt