Implement full fidelity lowering and HackC code generation for using statement