chore(ssa refactor): Implement ssa-gen for binary, block, tuple, extract-tuple-field, and semi expressions#1217