restart nand2tetris formalization (same shape for both sequential and combinatorial)