Syntactic Theory of Sequential Control and State -- Vertical Object Layout and