Cleanup unit test
Implemented FirmProgram, except for lowering